0% found this document useful (0 votes)
235 views1 page

Rules of Inferene and Equivalence Laws List

The document lists various rules of inference, logical equivalences, and logical operators used in propositional logic. It defines key terms like modus ponens and disjunctive syllogism. It also outlines equivalence laws such as reflexivity, commutativity, associativity, distributivity, idempotency, identity, inverse, dominance, absorption, and De Morgan's laws. Material implication and equivalence are also defined.

Uploaded by

Jenn
Copyright
© Attribution Non-Commercial (BY-NC)
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
0% found this document useful (0 votes)
235 views1 page

Rules of Inferene and Equivalence Laws List

The document lists various rules of inference, logical equivalences, and logical operators used in propositional logic. It defines key terms like modus ponens and disjunctive syllogism. It also outlines equivalence laws such as reflexivity, commutativity, associativity, distributivity, idempotency, identity, inverse, dominance, absorption, and De Morgan's laws. Material implication and equivalence are also defined.

Uploaded by

Jenn
Copyright
© Attribution Non-Commercial (BY-NC)
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
You are on page 1/ 1

Equivalence Laws and Rules of Inference (NOTE: T denotes True; F denotes False; other capital letters denote propositions.

) Name Rules of Inference Addition Simplification Conjunction Modus Ponens Modus Tollens Disjunctive Syllogism Hypothetical Syllogism Constructive Dilemma Destructive Dilemma Equivalence Laws Reflexivity Double Negation Commutativity Associativity Distributivity Idempotency Identity Inverse Dominance Absorption De Morgan's Laws Contrapositive Law Material Implication Material Equivalence Exportation Form P (P Q) (P Q) P ( (P) (Q) ) (P Q) [ (P Q) P ] Q [ (P Q) Q ] P [ (P Q) P ] Q [ (P Q) (Q R) ] (P R) [ (P Q) (R S) (P R) ] (Q S) [ (P Q) (R S) (Q S) ] (P R) PP (P) P (P Q) (Q P) (P Q) (Q P) (P Q) (Q P) [ (P Q) R ] [ P (Q R) ] [ (P Q) R ] [ P (Q R) ] [ (P Q) R ] [ P (Q R) ] [ P (Q R) ] [ (P Q) (P R) ] [ P (Q R) ] [ (P Q) (P R) ] (P P) P (P P) P (P T) P (P F) P (P P) F (P P) T (P F) F (P T) T [ P (P Q) ] P [ P (P Q) ] P (P Q) (Q P) (P Q) (Q P) (P Q) (Q P) (P Q) (P Q) [ P Q ] [ (P Q) (Q P) ] [ (P Q) R ] [ P (Q R) ]

*when used during exercises, quizzes, or exams, this sheet should not contain any other writing or any form of tampering.

You might also like