5. (5 pts.) Given the following axioms, use resolution to prove the conclusion i

Question

5. (5 pts.) Given the following axioms, use resolution to prove the conclusion in (6) 1. Every Austinite who is not conservative loves some armadillo. vx (AUSTINITE&JA-CONSERVATIVE;(x) ? ® y (ARMADILLO(y) ^LOVES(x,y))) 2. Anyone who wears maroon-and-white shirts is an Aggie. Ys TEARS(x) ? AGGIE(x)) 3. Every Aggie loves every dog. (AGGIE(x) ? Vy (DOGO) ? LOVES(x,y))) 4. Nobody who loves every dog loves any armadillo. -3x ((Vy (DOG() ? LOVES(x,y))) ^?z (ARMADILLO(z) ^ LOVES(x,z))) 5. Clem is an Austinite, and Clem wears maroon-and-white shirts AUSTINITE(Clem) A WEARS(Clem) 6. (Conclusion) Is there a conservative Austinite? x CAUSTINITEb) CONSERVATIVEb)

Explanation / Answer

6. Conclusion is true because of the following reasons :

There will be no conservative Austinite.

By using fifth axiom we can say clem is an Austinite and clem wears maroon and white shirts

Now by using axiom 2 we can say that clem is an aggie.

By using axiom 3 we can say that clem loves every dog as Every aggie love every dog.

By using axiom 4 there is no body who loves every dog loves any armadillo

so clem cannot love any armadillo

hence clem can be a conservative who is an Austinite who don't loves any armadillo.

Related Questions

Navigate

• Browse (All)
• Browse 5
• Subjects

---

---

Integrity-first tutoring: explanations and feedback only — we do not complete graded work. Learn more.