(1b) Use truth tables to determine whether these SL sentences are jointly satisfiable, or jointly unsatisfiable (3 point
Posted: Fri Jun 10, 2022 11:20 am
(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
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