Logic Flashcards
Disjunction elimination
((P v Q) & ~P) => Q
((P v Q) & ~P) => Q
Disjuntion elminination
Disjunction introduction
P => (P v Q)
P => (P v Q)
Disjunction introduction
Conjunction elimination
(P & Q) => P (and Q)
(P & Q) => P (and Q)
Conjunction elmination
Conjunction introduction
((P) & (Q)) => (P & Q)
((P) & (Q)) => (P & Q)
Conjunction introduction
Negation
~~P => P
~~P = > P
Negation
Contradiction
~(P & ~P)
~(P & ~P)
Contradiction
Modus Ponens
((P => Q) & P) => Q
OR
A=>B
A
Therefore, B
((P => Q) & P) => Q
OR
A=>B
A
Therefore, B
Modus Ponens
Fallacy of affirming the consequent
A=>B
B
Therfore A
INCORRECT USE OF MODUS PONENS
((P=>Q) & Q) => P
Fallacy of affirming the consequent
Modus tollens
((P=>Q) & ~Q) => ~P
OR
A=>B
Not B
Therfore, not A
((P=>Q) & ~Q) => ~P
Modus tollens
Fallacy of denying the antecenet
((P=>Q) & ~P) => ~Q
INCORRECT USE OF MODUS TOLLENS
((P=>Q) & ~P) => ~Q
Fallacy of denying the antecedent
Incorrect use of modus tollens
