1.1 - Propositional Logic Flashcards
1
Q
Proposition
A
A statement that is either true or false
2
Q
~
A
NOT - negation
3
Q
A
AND - conjunction
4
Q
v
A
Inclusive OR - disjunction
5
Q
⊕
A
Exclusive OR - disjunction
6
Q
→
A
Conditional (if, then)
7
Q
_ implies _
A
p implies q (conditional)
8
Q
_, if _
A
q, if p (conditional)
9
Q
_ whenever _
A
q whenever p (conditional)
10
Q
_ is sufficient for _
A
p is sufficient for q (conditional)
11
Q
_ is necessary for _
A
q is necessary for p (conditional)
12
Q
_ only if _
A
p only if q (conditional)
13
Q
↔
A
iff (if and only if) - biconditional, must prove both ways ( 2 proofs!)
14
Q
Converse
A
q → p
15
Q
Contrapositive
A
~q → ~p
