Formal Logic Statements Flashcards
Memorization
1
Q
If A, then B
A
If A -> B
2
Q
All C are D
A
If C -> D
3
Q
Every E is F
A
If E -> F
4
Q
If G, then not H
A
If G -> ~H
5
Q
No I are J
A
If I -> ~J
6
Q
Only K are L
A
If L -> K
7
Q
M only if N
A
If M -> N
8
Q
The only O are P
A
If O -> P
9
Q
No Q unless R
A
If Q -> R
10
Q
S unless T
A
If ~S -> T
11
Q
No U without V
A
If U -> V
12
Q
Without W, no X
A
If X -> W
13
Q
Y if, but only if, Z
A
If Y -> Z; If Z ->Y
14
Q
AA if, and only if, BB
A
if AA -> BB; If BB -> AA
15
Q
If CC, then neither DD nor EE
A
If CC -> ~DD and ~EE
