Scribd
Upload
57 views

Rules of Inference: Modus Ponens (MP) Modus Tollens (MT)

The document lists various rules of inference and replacement used in logic. It includes conjunctive rules like conjunction and addition. Conditional rules like modus ponens, modus tollens, and hypothetical syllogism. Disjunctive rules like disjunctive syllogism. Rules of replacement dealing with logical equivalences like commutation, association, De Morgan's laws, and biconditionals.

Uploaded by

Sebastiani Aguirre
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 DOC, PDF, TXT or read online on Scribd
57 views

Rules of Inference: Modus Ponens (MP) Modus Tollens (MT)

The document lists various rules of inference and replacement used in logic. It includes conjunctive rules like conjunction and addition. Conditional rules like modus ponens, modus tollens, and hypothetical syllogism. Disjunctive rules like disjunctive syllogism. Rules of replacement dealing with logical equivalences like commutation, association, De Morgan's laws, and biconditionals.

Uploaded by

Sebastiani Aguirre
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 DOC, PDF, TXT or read online on Scribd
You are on page 1/ 2

Rules of Inference

Conjunction (Conj) P Q PQ Disjunctive Syllogism (DS) PQ P Q Modus Ponens (MP) PQ P Q Simplification (Simp) PQ P Addition (Add) P PQ

Hypothetical Syllogism (HS) PQ QR PR Modus Tollens (MT) PQ Q P

Excluded Middle Introduction (EMI) PP

Constructive Dilemma (CD) PR QS PQ RS Indirect Proof (IP)

P (Q Q) P

P P P

Rules of Replacement
Commutation (Com) PQ QP PQ QP Double Negation (DN) P P Association (Assoc) P ( Q R) (P Q) R P (Q v R) (P Q) R De Morgan (DeM) (PQ) P Q ( P Q) P Q Implication (Impl) PQ P Q Bicondicional Equivalence (Equiv) PQ (P Q) (Q P) PQ (P Q) (P Q) Exportation (EXP) P ( Q R) Idempotence (Idem) PP P Distribution P (Q R) (P Q) (P R) P (Q R) (P Q) (P R) Transposition (Transp) P Q Q P

(P Q) R

You might also like