Zhou, Nongjian (2024) A Digital Calculation Method for Propositional Logic. [Preprint]
![[img]](https://philsci-archive.pitt.edu/style/images/fileicons/text.png) |
Text
A Digital Calculation Method for P-logic-philsci.pdf Download (171kB) |
Abstract
This paper presents a novel approach: using a digital calculation method for propositional logical reasoning. The paper demonstrates how to discover the primitive numbers and the digital calculation formulas by analyzing the truth tables. Then it illustrates how to calculate and compare the truth values of various expressions by using the digital calculation method. As an enhanced alternative to existing approaches, the proposed method transforms the statement-based or table-based reasoning into number-based reasoning. Thereby, it eliminates the need for using truth tables, and obviates the need for applying theorems, rewriting statements, and changing symbols. It provides a more streamlined solution for a single reasoning, while demonstrating more efficiency for multiple reasonings in long-term use. It is suitable for manual calculation, large-scale computation, AI and automated reasoning.
| Export/Citation: | EndNote | BibTeX | Dublin Core | ASCII/Text Citation (Chicago) | HTML Citation | OpenURL |
| Social Networking: |
| Item Type: | Preprint | ||||||
|---|---|---|---|---|---|---|---|
| Creators: |
|
||||||
| Keywords: | propositional logic, Boolean logic, truth table, general logic, mathematical logic, symbolic logic | ||||||
| Subjects: | Specific Sciences > Mathematics > Logic Specific Sciences > Mathematics > Methodology Specific Sciences > Mathematics > Proof Specific Sciences > Mathematics |
||||||
| Depositing User: | Mr. Nongjian Zhou | ||||||
| Date Deposited: | 11 Jan 2025 23:27 | ||||||
| Last Modified: | 11 Jan 2025 23:27 | ||||||
| Item ID: | 24497 | ||||||
| Subjects: | Specific Sciences > Mathematics > Logic Specific Sciences > Mathematics > Methodology Specific Sciences > Mathematics > Proof Specific Sciences > Mathematics |
||||||
| Date: | 15 October 2024 | ||||||
| URI: | https://philsci-archive.pitt.edu/id/eprint/24497 |
Monthly Views for the past 3 years
Monthly Downloads for the past 3 years
Plum Analytics
Actions (login required)
 |
View Item |
![[feed]](http://philsci-archive.pitt.edu/style/images/feed-icon-32x32.png){kind=icon}