 |
Java Games: Flashcards, matching, concentration, and word search. |
 |
|
Translations into Formal Sentence Logic
How to translate English sentences into formal sentence logic.
Title of music played is "I Guess You're Right"
|
| A | B |
|---|
If A then B,  , 
| A > B, same as A horseshoe B |
| A if B,
| B > A, same as B horseshoe A |
| A only if B,
| A > B, same as A horseshoe B |
| A is a sufficient condition for B,
| A > B, same as A horseshoe B |
| A is a necessary condition for B,
| B > A, same as B horseshoe A |
| A unless B,
| A v B, or equivalently (not A horseshoe B) |
| B only if A,
| B > A, same as B horseshoe A |
| B if and only if A,
| B = A, same as A triplebar B |
| A is a necessary and a sufficient condition for B,
| A = B, same as A triplebar B, or equivalently (A > B) & (B > A) |
| A is a necessary and a sufficient condition for B,
| (A > B) & (B > A), or equivalently A = B, same as A triplebar B |
| both A and B,
| A & B, same as A dot B |
| not both A and B,
| - (A & B), same as curl/tilde (A dot B), or DeMorgan equivalently (- A v - B) |
| either A or B,
| A v B |
| not either A or B,
| - (A v B), or DeMorgan equivalently (- A & - B) |
| neither A nor B,
| - A & - B, or DeMorgan equivalently - (A v B) |
| not neither A nor not B,
| - (- A & - - B), or equivalently (A v - B) |
| either not A or not B,
| (- A v - B), or equivalently - (A & B) |
| not either A or not B,
| - (A v - B), or equivalently (- A & B) |
| If A, then if not B then C,
| A > (- B > C) |
| If if A then not B, then C,
| (A > - B) > C |
|
|
|
|
|
|
Orange Coast College |
| Costa Mesa, CA |
|
|
|
|
|
| |
