My Math Forum  

Go Back   My Math Forum > College Math Forum > Applied Math

Applied Math Applied Math Forum

LinkBack Thread Tools Display Modes
November 22nd, 2010, 08:40 PM   #1
Joined: Nov 2010

Posts: 1
Thanks: 0

Predicate Logic translation. >_<

This is part of some homework I have to do, you don't have to answer both any help would be appreciated

1.Translate the following into predicate logic. Write each sentence as a premise with the conclusion being the last sentence. Stack them vertically, as you would for a refutation tree.
All who like stuffing like turkey. Not all who like turkey like gravy. Therefore, there is someone who likes stuffing but doesn’t like gravy.
*I know that each will have 3 quantifiers and 3 variables but I just can't get it.

2.Translate the following argument and use a refutation tree to show that it is valid.
Mo eats turkey only if everyone eats turkey. So if someone doesn’t eat turkey, then Mo doesn’t either.

I got ?x((Tx & Emx) ? ?yEyx) for the first part, but I SUCK at refutation trees, my brain just won't think that way.
pinkcheese is offline  

  My Math Forum > College Math Forum > Applied Math

><, logic, predicate, translation

Thread Tools
Display Modes

Similar Threads
Thread Thread Starter Forum Replies Last Post
predicate logic skaur Applied Math 1 January 6th, 2014 05:51 PM
Predicate Logic mohitpd Applied Math 0 October 26th, 2013 07:45 PM
Predicate Logic pavankumar.thati Applied Math 0 April 16th, 2013 09:26 AM
Resolution in Predicate logic Leila Applied Math 9 January 4th, 2011 05:54 AM
Sets and Predicate logic Zhai Applied Math 7 February 22nd, 2010 06:32 PM

Copyright © 2019 My Math Forum. All rights reserved.