About this document
Understanding Propositional Logic Concepts by Afiat Khan Tahsin is a document available to read on EtoBox.
This document discusses propositional logic and mathematical proofs. It introduces propositional logic, including logical operators like NOT, AND and OR. It explains how more complex logical operators can be constructed from these basic operators using truth tables. The document also discusses mathematical proofs, noting that Euclid established the standard procedure of using axioms and logic to deduce theorems. Finally, it discusses writing logical formulas to represent truth tables using combinations of N
- Author
- Afiat Khan Tahsin
- Language
- EN