1. Other
  2. Other
  3. 1 complete the following for a and b write your...

Question: 1 complete the following for a and b write your...

Question details

1. Complete the following. (For (a) and (b), write your proofs in the usual two-columin format.) a) Show that the conclusion pAr follows from the premises pq, qr, and p. b) Show that the conclusion s follows from the premises (pVg)(rVs), p, -r. (Hint: Use addition.) c Show the argument below is invalid by finding an assignment of truth values to the propositional variables for which each premise is true but the conclusion is false. p-(Vr) 18
2 For each of the following expressions, decide if it is a clause or not. If it is not a clause, rewrite it as one or more clauses. (Note: For this problem, we write a ^ b as ab.) a) pV qr c)(ab) d) P 3. What is the result of applying the resolution rule to the clauses p VqVr and rV-sV-t? 4. Use resolution to show that the conclusion s follows from the premises pVr,ps, pVq and r. (Write your proof in the usual two-column format
Solution by an expert tutor
Blurred Solution
This question has been solved
Subscribe to see this solution