The Logic Tutor responds:
1. (A → B → C)
Your answer of ``Not a WFF'' is correct!
2. (~B)
Your answer of ``Not a WFF'' is correct!
3. (~(C) → F)
Your answer of ``Not a WFF'' is correct!
4. (E → (~F → G)
Your answer of ``Not a WFF'' is correct!
5. ~((H → J) → (K → L)
Your answer of ``Not a WFF'' is correct!
6. (M → ~~N)
Your answer of ``WFF'' is correct!
7. (O → ~(P → R))
Your answer of ``WFF'' is correct!
8. ((Q → S) → T)
Your answer of ``WFF'' is correct!
9. (~(U) → (W))
Your answer of ``Not a WFF'' is correct!
10. ~Z
Your answer of ``WFF'' is correct!
11. ~(B ∙ C)
Your answer of ``WFF'' is correct!
12. ~(~W v ~Z)
Your answer of ``WFF'' is correct!
13. ~(m ↔ ~h)
Your answer of ``Not a WFF'' is correct!
14. (~E . ~F . ~~G)
Your answer of ``Not a WFF'' is correct!
, 15. ~(~A -> ~R)
Your answer of ``WFF'' is correct!
16. (~S ∨ ~R ∨ ~(T ∙ U))
Your answer of ``Not a WFF'' is correct!
17. (~P ∨ Q ∨ ~R)
Your answer of ``Not a WFF'' is correct!
18. ((L ∨ M) → ~S)
Your answer of ``WFF'' is correct!
19. (~(D ∙ E) ↔ (F ∨ ~G))
Your answer of ``WFF'' is correct!
20. ((~H ∙ ~~F) → ~(~K ↔ ~N))
Your answer of ``WFF'' is correct!
7.2 B
The Logic Tutor responds:
1. E ∨ ~F
Your answer of ``Permissible'' is correct!
2. ~G ∙ ~H
Your answer of ``Permissible'' is correct!
3. ~J ↔ ~K
Your answer of ``Permissible'' is correct!
4. ~L ∨ [(M → N) → ~O]
Your answer of ``Permissible'' is correct!
5. (~Q ∨ ~R ∨ ~~S)
Your answer of ``Impermissible'' is correct!
6. (A ∨ B) ↔ (C ↔ D)
Your answer of ``Permissible'' is correct!
7. ~U → ~X
Your answer of ``Permissible'' is correct!
8. [~Z ∙ ~W ∨ ~~Y]