Logic Flashcards
1
Q
Disjunction elimination
A
((P v Q) & ~P) => Q
2
Q
((P v Q) & ~P) => Q
A
Disjuntion elminination
3
Q
Disjunction introduction
A
P => (P v Q)
4
Q
P => (P v Q)
A
Disjunction introduction
5
Q
Conjunction elimination
A
(P & Q) => P (and Q)
6
Q
(P & Q) => P (and Q)
A
Conjunction elmination
7
Q
Conjunction introduction
A
((P) & (Q)) => (P & Q)
8
Q
((P) & (Q)) => (P & Q)
A
Conjunction introduction
9
Q
Negation
A
~~P => P
10
Q
~~P = > P
A
Negation
11
Q
Contradiction
A
~(P & ~P)
12
Q
~(P & ~P)
A
Contradiction
13
Q
Modus Ponens
A
((P => Q) & P) => Q
OR
A=>B
A
Therefore, B
14
Q
((P => Q) & P) => Q
OR
A=>B
A
Therefore, B
A
Modus Ponens
15
Q
Fallacy of affirming the consequent
A
A=>B
B
Therfore A
INCORRECT USE OF MODUS PONENS
