Show that (r ∨ p) ∧ [(∼ r ∨ (p ∧ q)) ∧ (r ∨ q)] ≡ p ∧ q.
![VCP A (oup) [ coor repago) A corąz] = forp) 1 cenoupon cor vq)) a covqı] ..De moyen = (TYP) - Lv3 vt) (co va) ACT về))) - Nia](http://img.homeworklib.com/questions/48bef960-3910-11eb-8937-b5beaea80b60.png?x-oss-process=image/resize,w_560)
6. Maximum score 3 ( 1 per part).Show that:(b) (p → q) → r and p →(q → r) are not logically equivalent.(c) p ↔ q and ¬ p ↔ ¬ q are logically equivalent.
Question: Show that the propositions (p ∨ q) ∧ (¬p ∨ r) and (p ∧ r) ⊕ (¬p ∧ q) are logically equivalent.
show, using natural deduction p V q, p -> r, q -> r proves r
p implies r
q implies r
conclusion (p or q ) implies r
show they sre logical equivalent
(pVa)
(pVa)
Show that ~p -> (q -> r) and q-> (p v r) are logically equivalent
WITHOUT constructing TT Show whether or not p-, q ^ (q-r)-p-, r is logically equivalent to
2. (a) Show that (PVQ) + R is not logically equivalent to (P + R) V(Q + R) using a truth table. (b) Is (PAQ) → R logically equivalent to (P + R) A( Q R )? If so, use a truth table to establish this. If not, show that it is false.
Problem 3.11 Show using a chain of logical equivalences that (p → r)A(q → r) pv q) →
How do you show the following propositions are logically equivalent? (a) [(p → q) → r] ⊕ (p ∧ q ∧ r) and (p ∨ r) ⊕ (p ∧ q) (b) ¬∃x {P(x) → ∃y [Q(x, y) ⊕ R(x, y)] } and (∀x P(x)) ∧ [∀x ∀y(Q(x, y) ↔ R(x, y))] (c) Does [(p → q) ∧ (q → r)] → r implies (p → r) → r?
How many of the disjunctions p∨¬q, ¬p∨q, q ∨r, q ∨¬ r, and ¬q ∨¬ r can be made simultaneously true by an assignment of truth values to p, q, and r? Please explain how to find that? thinking process!