Reading...
Play button
Play button
Use LEFT and RIGHT arrow keys to navigate between flashcards;
Use UP and DOWN arrow keys to flip the card;
H to show hint;
A reads text to speech;
23 Cards in this Set
- Front
- Back
|
Precedence: ¬ |
1 |
|
|
precedence: ∧ |
2 |
|
|
Precedence: ∨ |
3 |
|
|
Precedence: → |
4 |
|
|
Precedence: ↔ |
5 |
|
|
p→q becomes |
¬ q v p |
|
|
p ↔ q |
(q ∧ ¬p) v (¬ p ∧ q) |
|
|
p is necessary and sufficient for q
|
p↔q |
|
|
if p then q, and conversely |
p↔q |
|
|
p iff q |
p↔q |
|
|
if p, then q
|
p→q
|
|
|
p implies q
|
p→q
|
|
|
if p, q
|
p→q
|
|
|
p only if q
|
p→q
|
|
|
p is sufficient for q
|
p→q
|
|
|
a sufficient condition for q is p
|
p→q
|
|
|
q if p
|
p→q
|
|
|
q whenever p
|
p→q
|
|
|
q when p
|
p→q
|
|
|
q is necessary for p
|
p→q
|
|
|
a necessary condition for p is q
|
p→q
|
|
|
q follows from p
|
p→q
|
|
|
q unless ¬p
|
p→q
|
