Statement Logic translations Flashcards
1
Q
C only if M
A
C -> M
2
Q
M if C
A
C -> M
3
Q
is not
A
~
4
Q
it is false
A
~
5
Q
it is not true
A
~
6
Q
and
A
&
7
Q
but
A
&
8
Q
however
A
&
9
Q
or
A
v
10
Q
C if then M
A
C -> M
11
Q
provided that C, then M
A
C -> M
12
Q
M provided that C
A
C -> M
13
Q
When C, M
A
C -> M
14
Q
M when C
A
C -> M
15
Q
C is a sufficient condiditon for M
A
C -> M
16
Q
M is a necessary condition for C
A
C -> M
17
Q
G if and only if E
A
G <-> E
18
Q
E if and only if G
A
G <-> E
19
Q
G just in case E
A
G <-> E
20
Q
E just in case G
A
G <-> E
21
Q
G provided and only provided that E
A
G <-> E
22
Q
E provided and only provided taht G
A
G <-> E
23
Q
G when and only when E
A
G <-> E
24
Q
E when and only when G
A
G <-> E
25
Q
G is a necessary and sufficient condition for E
A
G <-> E
26
Q
E is a necessary and sufficient condition for G
A
G <-> E
27
Q
E iff G
A
G <-> E
28
Q
unless
A
v
