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