formal logic Flashcards
- translating the prose of common conditional statements
if A, then B
if A –> B
all C are D
if C–> D
every E is F
if E –> F
if G, then not H
if G –> ‘H
no I are J
if I –> ‘J
only K are L
if L –> K
M only if N
if M –> N
the only O are P
if O –> P
no Q unless R
if Q –> R
S unless T
if ‘S –> T
no U without V
if U –> V
without W, no X
if X –> W
Y if, but only if, Z
if Y –> Z
if Z –> Y
AA if, and only if, BB
if AA –> BB
if BB –> AA
if CC, then neither DD nor EE
if CC –> ‘DD AND ‘EE
FF if GG
GG –> FF
HH is always II
if HH –> II
if A then B
if B then C
if A –> B –> C
if A –> C
if D then E
if F then E
if D or F –> E
if G then H
if G then I
if G –> H or I
no C are D
C –> ‘D
A prerequisite for B
B –> A
if A and B, then C
if A but not B, what happens to C?
C is still possible but not necessarily required
minimum
‘X –> Y
(could have both)
you must have at least one
