In: Computer Science
Q1) Determine whether each of the compound proposition is
satisfiable.
(p ∨ q ∨ r) ∧ (p ∨ ¬q ∨ ¬s) ∧ (q ∨ ¬r ∨ s) ∧ (¬p ∨ r ∨ s) ∧ (¬p ∨ q
∨ ¬s) ∧ (p ∨ ¬q ∨ ¬r) ∧ (¬p ∨ ¬q ∨ s) ∧ (¬p ∨ ¬r ∨ ¬s)
Q2) Negate the following statements, no negation symbol before quantifiers.
1) ∃x∃y(Q(x, y) ↔ Q(y, x))
2) ∀y∃x∃z(T (x, y, z) ∨ Q(x, y))
Here is Handwritten answers for both questions with explanation and Please do not forget to like my work by hitting that thumbs-up button it really motivates me>3
Thank you!!
Note : - You can view image in new window for better view. Just right click on image in choose "View image in new window".
And again Please hit that like button>3