
Applied Math Applied Math Forum 
 LinkBack  Thread Tools  Display Modes 
November 22nd, 2010, 08:40 PM  #1 
Newbie 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. 

Tags 
><, 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 