 |
Java Games: Flashcards, matching, concentration, and word search. |
 |
 |
Truth Functional Logical Operators/Connectives
Flashcards with logical operators
|
A | B |
curl | ~ |
tilde | ~ |
wedge | v |
horseshoe | > ; (looks like a "U" on its side) |
triple bar | = ; (looks like an identity sign with three bars) |
dot | • ; (looks like a giant dot) |
P and Q | P • Q ; (P dot Q) |
P or Q | P v Q ; (P wedge Q) |
If P then Q | P > Q ; (P horseshoe Q) |
P if and only if Q | P = Q ; (P triple bar Q) |
P is necessary for Q | Q > P ; (Q horseshoe P) |
P is sufficient for Q | P > Q ; (P horsehoe Q) |
P is necessary and sufficient for Q | P = Q ; (P triple bar Q) |
P only if Q | P > Q ; (P horseshoe Q) |
Q if P | P > Q ; (P horseshoe Q) |
|
 |
|
|
|
Orange Coast College |
Costa Mesa, CA |
|
|
|
|
|
| |