home > q&a board > other > topic: discrete math - predicate logic - first-order predica...

Q BgQuestion:

Pupil
Karma Points: 50
Respect (96%):
posted by  ttrain on 8/25/2008 6:31:47 PM  |  status: Live  

Discrete Math - Predicate Logic - First-Order Predicate Calculus

Course Textbook Chapter Problem
Discrete Math Disrete Mathematics, 2nd ed., James L. Hein, ISBN# 0-7637-2210-3 7.1 14b
Question Details:
Given the wff:
 
show that W is true for any interpretation whose domain has two elements
 
Bonus Point Alert! Earn +2 additional karma points for helping this monthly member.

AAnswers:

Answer Question

No one has answered this question yet.

Be the first to answer. Earn up to 9 karma points.

Answer Question
Ask New Question

Join Cramster's Community

Cramster.com brings together students, educators and subject enthusiasts in an online study community. With around-the-clock expert help and a community of over 100,000 knowledgeable members, you can find the help you need, whenever you need it. Join for free today » How Cramster is different than tutoring »

Need Help In

Useful Links