Formal logic- translating conditional statements Flashcards
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
AA -> BB
if BB -> AA
15
Q
if CC, then neither DD or EE
A
if CC -> ~DD and ~EE
