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

Modus Ponens

P —> Q

P

∴ Q

2

Modus Tollens

P —> Q

¬ Q

∴ ¬ P

3

Hypothetical Syllogism

P —> Q

Q —> R

P —> R

4

Conjunction

P

Q

P and Q

5

Simplification

P and Q

P


P and Q

Q

6

Addition

P

P ∨ Q

7

Absorption

P —> Q

∴ P —> (P and Q)

8

Disjunctive Syllogism

P ∨ Q

¬ P

∴ Q


P ∨ Q

¬ Q

∴ P

9

Constructive Dilemma

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

P ∨ R

∴ Q ∨ S