[Home]
Determine the logical status of the following wffs using any of the semantical methods. To do this exercise, use paper and pencil, and only click on the possible answers to check your answer.
| 1. ((C ⊃ ~A) v ~C) |
|
|||
| 2. ((A v ~A) ⊃ (A & ~A)) |
|
|||
| 3. ~(A ⊃ B) ≡(A & ~B) |
|
|||
| 4. (D & B) v ~B |
|
|||
| 5.(A ⊃ B) v (B ⊃ A) |
|
|||
| 6. ((A ⊃ B) & B) ⊃ A |
|
|||
| 7. ~(A ⊃ A) |
|
|||
| 8. (E ⊃ F) ≡ (~F ⊃ ~E) |
|
|||
| 9. ~(((A v B) & ~A) ⊃ B) |
|
|||
| 10. (A≡ B) & (C ⊃ A) |
|
[Home]