 |
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 |
|
|
|
|
|
| |