Zhou, Nongjian (2024) Digital Analysis of Logical Equivalences. [Preprint]

Text Digital-Analysis-of-Logical-Equivalences.pdf Download (177kB)

Abstract

This paper introduces a digital method for analyzing propositional logical equivalences. It transforms the theorem-proof method from the complex statement-derivation method to a simple number-comparison method. By applying the digital calculation method and the expression-number lookup table, we can quickly and directly discover and prove logical equivalences based on the identical numbers, no additional operations are needed. This approach demonstrates significant advantages over the conventional methods in terms of simplicity and efficiency.

---

Export/Citation:

EndNote | BibTeX | Dublin Core | ASCII/Text Citation (Chicago) | HTML Citation | OpenURL

Social Networking:

Share |

---

Item Type:	Preprint
Creators:	Creators Email ORCID Zhou, Nongjian nongjianz@hotmail.com 0009-0004-7140-5598
Keywords:	logic, proposition, truth value, mathematical logic, symbolic logic, propositional logic, Boolean logic
Subjects:	Specific Sciences > Mathematics > Logic Specific Sciences > Mathematics > Proof Specific Sciences > Computer Science Specific Sciences > Artificial Intelligence Specific Sciences > Mathematics
Depositing User:	Mr. Nongjian Zhou
Date Deposited:	25 Jan 2025 21:29
Last Modified:	25 Jan 2025 21:29
Item ID:	24606
Subjects:	Specific Sciences > Mathematics > Logic Specific Sciences > Mathematics > Proof Specific Sciences > Computer Science Specific Sciences > Artificial Intelligence Specific Sciences > Mathematics
Date:	23 January 2024
URI:	https://philsci-archive.pitt.edu/id/eprint/24606

Monthly Views for the past 3 years

Monthly Downloads for the past 3 years

Plum Analytics

Actions (login required)

View Item