About this document
Proposition and Predicate Calculus by Aditya Dev is a document available to read on EtoBox.
The document discusses Propositional and Predicate Calculus, defining key concepts such as propositions, tautologies, contradictions, logical connectives, and well-formed formulas (WFFs). It explains rules of inference, equivalence of propositions, and various logical operations including negation, conjunction, disjunction, and biconditional. Additionally, it provides examples and exercises to illustrate these concepts.
- Author
- Aditya Dev
- Language
- EN