Nine Rules Of Propositional Logic Flashcards Preview

Logic > Nine Rules Of Propositional Logic > Flashcards

Flashcards in Nine Rules Of Propositional Logic Deck (9)
Loading flashcards...
1
Q

Modus Ponens

A

P —> Q

P

∴ Q

2
Q

Modus Tollens

A

P —> Q

¬ Q

∴ ¬ P

3
Q

Hypothetical Syllogism

A

P —> Q

Q —> R

P —> R

4
Q

Conjunction

A

P

Q

P and Q

5
Q

Simplification

A

P and Q

P

P and Q

Q

6
Q

Addition

A

P

P ∨ Q

7
Q

Absorption

A

P —> Q

∴ P —> (P and Q)

8
Q

Disjunctive Syllogism

A

P ∨ Q

¬ P

∴ Q

P ∨ Q

¬ Q

∴ P

9
Q

Constructive Dilemma

A

(P —> Q) and (R —> S)

P ∨ R

∴ Q ∨ S