Derivations Flashcards
(15 cards)
1
Q
at least one of P and Q is true (inclusive disjunction)
A
PvQ
2
Q
exactly one of P and Q is true (exclusive disjunction or not both true)
A
(PvQ)^~(P^Q)
3
Q
if P, then Q (material condition (Q true on its own, but not when it is false and P is true)
A
~PvQ
4
Q
P if and only if Q (material bi-conditional)
A
(~PvQ)^(~QvP)
5
Q
^Intro (Conj.Intro)
A
x
y
= x^y
6
Q
^E(Conj.Elim)
A
x^y
= x
7
Q
vI(Disj.Intro)
A
x
= xvy
8
Q
DS or (Disjunction Elimination)
A
xvy
~x
= y
9
Q
Strategy: Atomic Conclusion
A
RAA
10
Q
Strategy: Negation Conclusion
A
RAA
11
Q
Strategy: Disjunction Conclusion
A
RAA
12
Q
Strategy: Conjunction
A
^Intro
13
Q
DEM (DeMorgan’s)
A
P^Q = ~(~PvQ)
14
Q
DN
A
~~P
15
Q
Not Q, Not P
A
Modus Tollens(denying the consequent)
