(1b) Use truth tables to determine whether these SL sentences
are jointly satisfiable, or jointly unsatisfiable (3 points per
question):
1. ¬P, Q → P, Q '
2. ¬(Q ∨ P), Q ↔ P, P → Q
3. Q ∨ P, ¬P, ¬P → ¬Q
4. Q ↔ P, ¬P ∨ ¬Q, Q → P
5. (P ∨ Q) ∨ R , ¬P ∨ ¬Q, ¬R ∨ ¬Q
(1b) Use truth tables to determine whether these SL sentences are jointly satisfiable, or jointly unsatisfiable (3 point
-
- Posts: 43759
- Joined: Sat Aug 07, 2021 7:38 am