Using resolution, show that QVW is a logical consequence of the following premises: 1. R W...

 

Transcribed Image Text:

Using resolution, show that QVW is a logical consequence of the following premises: 1. R W 2. RV (PAS) 3. S (PVQ) 4. SV R Question 6 Transform the above problem into a set of clauses (premises and the conclusion), suitable for resolution-based theorem proving. Turn each axiom in the list of premises above into conjunctive normal form. - One premise may result in multiple clauses. - For example, a premise -((PA-R) VS) will convert to CNF as (PVR) A-S, which results in two clauses: Clause 1: PVR Clause 2: -S Don't forget to negate the conclusion (QV-W), before adding to the clause list. Multiple clauses may (or may not) result from the negated conclusion. Write your resulting clauses in the following format: C1: C2: C3: C4: C5: C6: Question 7 Use resolution to derive False. Show every step. DO NOT USE any other infernce rule. Using resolution, show that QVW is a logical consequence of the following premises: 1. R W 2. RV (PAS) 3. S (PVQ) 4. SV R Question 6 Transform the above problem into a set of clauses (premises and the conclusion), suitable for resolution-based theorem proving. Turn each axiom in the list of premises above into conjunctive normal form. - One premise may result in multiple clauses. - For example, a premise -((PA-R) VS) will convert to CNF as (PVR) A-S, which results in two clauses: Clause 1: PVR Clause 2: -S Don't forget to negate the conclusion (QV-W), before adding to the clause list. Multiple clauses may (or may not) result from the negated conclusion. Write your resulting clauses in the following format: C1: C2: C3: C4: C5: C6: Question 7 Use resolution to derive False. Show every step. DO NOT USE any other infernce rule.