Propositional Logic Flashcards
1
Q
Not A
A
~ A
2
Q
It is false that A
A
~ A
3
Q
It is not the case that A
A
~ A
4
Q
A and B
A
A •B
5
Q
A yet B
A
A •B
6
Q
A however B
A
A • B
7
Q
A moreover B
A
A • B
8
Q
A nevertheless B
A
A • B
9
Q
A, still B
A
A • B
10
Q
A although B
A
A • B
11
Q
A furthermore B
A
A • B
12
Q
A additionally B
A
A • B
13
Q
A also B
A
A • B
14
Q
Both A and B
A
(A • B)
15
Q
Not both A and B
A
~(A • B)
16
Q
A or B
A
A V B
17
Q
A unless B
A
A V B
18
Q
Either A or B
A
(A V B)
19
Q
Neither A or B
A
~(A V B)
20
Q
Not either A or B
A
~(A V B)
21
Q
If A then B
A
A > B
22
Q
A implies B
A
A > B
23
Q
A only if B
A
A > B
24
Q
A is a sufficient condition for B
A
A > B
25
A if B
B > A
26
A is a necessary condition that B
B > A
27
A given that B
B > A
28
A in case B
B > A
29
A on the condition that B
B > A
30
A provided that B
B > A
31
A is a necessary and sufficient condition that B
A = B
32
A if and only if B
A = B
33
A is equivalent to B
A = B
34
A is the same as B
A = B
