(a) (pAq) Art p^ (q Ar) (b) p– (p - q), pF q (c) q (p r),¬r, qF-p (d) F(pAq) -p (e) pFq- (p ^ q) (f) PF (p→q) → q (g) (p r) A (q r)FpAq r (h) q - rF (p -→ q) (p- r) (i) p → (q → r),p → qFp r (i) p- q,...

Prove the validity of the following sequences
(a) (pAq) Art p^ (q Ar) (b) p– (p - q), pF q (c) q (p r),¬r, qF-p (d) F(pAq) -p (e) pFq- (p ^ q) (f) PF (p→q) → q (g) (p r) A (q r)FpAq r (h) q - rF (p -→ q) (p- r) (i) p → (q → r),p → qFp r (i) p- q, r – sFpVr - q Vs

(a) (pAq) Art p^ (q Ar)<br>(b) p– (p - q), pF q<br>(c) q (p r),¬r, qF-p<br>(d) F(pAq) -p<br>(e) pFq- (p ^ q)<br>(f) PF (p→q) → q<br>(g) (p r) A (q r)FpAq r<br>(h) q - rF (p -→ q) (p- r)<br>(i) p → (q → r),p → qFp r<br>(i) p- q, r – sFpVr - q Vs<br>

Extracted text: (a) (pAq) Art p^ (q Ar) (b) p– (p - q), pF q (c) q (p r),¬r, qF-p (d) F(pAq) -p (e) pFq- (p ^ q) (f) PF (p→q) → q (g) (p r) A (q r)FpAq r (h) q - rF (p -→ q) (p- r) (i) p → (q → r),p → qFp r (i) p- q, r – sFpVr - q Vs

Jun 05, 2022

SOLUTION.PDF

(a) (pAq) Art p^ (q Ar) (b) p– (p - q), pF q (c) q (p r),¬r, qF-p (d) F(pAq) -p (e) pFq- (p ^ q) (f) PF (p→q) → q (g) (p r) A (q r)FpAq r (h) q - rF (p -→ q) (p- r) (i) p → (q → r),p → qFp r (i) p- q,...

Get Answer To This Question

Related Questions & Answers

Submit New Assignment