(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
-
correctanswer
- Posts: 43759
- Joined: Sat Aug 07, 2021 7:38 am
(1b) Use truth tables to determine whether these SL sentences are jointly satisfiable, or jointly unsatisfiable (3 point
Register for solutions, replies, and use board search function. Answer Happy Forum is an archive of questions covering all technical subjects across the Internet.