conditional Flashcards
1
Q
P just in case Q
A
P ↔ Q
2
Q
P if and only if Q
A
P ↔ Q
3
Q
P exactly if Q
A
P ↔ Q
4
Q
P iff Q
A
P ↔ Q
5
Q
Q only if P
A
Q → P
6
Q
only if P, Q
A
Q → P
7
Q
unless P, Q
A
￢P → Q
8
Q
Q provided P
A
P → Q
9
Q
Q if P
A
P → Q
10
Q
Q whenever P
A
P → Q
11
Q
T to ⊥
A
unsatisfiable
12
Q
rule no longers applies, break before ⊥
A
satisfiable
13
Q
A & B are tautology equivalent?
A
A ⇔ B
14
Q
B is logical consequence of A?
A
A → B
15
Q
tautology vs? logical truth vs ? TT-possible means? logically possible means?
A
(TT-)contradiction, logical contradiction
T in at least one row
T in at least one non-spurious row
