January 5th, 2014, 11:07 AM  #1 
Newbie Joined: Jan 2014 Posts: 1 Thanks: 0  predicate logic
translate the following sentences: (i) Mary has a false passport. F(m,p) (F=False, m=Mary, p=Passport) (ii) Peter likes nobody but himself. (iii) Mary only dates Americans. (iv) Smoking is dangerous. D(s) (D=dangerous, s=Smoking) (v) Not everybody cooked their own dinner. ¬?x (C(x) > D(x,x)) (C=cooked, D=dinner) (vi) Sally wore a beautiful dress. ?x(S(x) ^ (W(x,d) ^ B(d))) (S=sally, W=wore, d=dress, B=beautiful) Unsure of the translations, any help would be great! 
January 6th, 2014, 06:51 PM  #2  
Senior Member Joined: Dec 2013 From: Russia Posts: 327 Thanks: 108  Re: predicate logic
As a general remark, a translation into predicate logic depends completely on the chosen predicate symbols and constants. We could translate any sentence into just P if such symbol P is available. Quote:
Quote:
Quote:
Quote:
Quote:
Quote:
 

Tags 
logic, predicate 
Thread Tools  
Display Modes  

Similar Threads  
Thread  Thread Starter  Forum  Replies  Last Post 
Predicate Logic  mohitpd  Applied Math  0  October 26th, 2013 08:45 PM 
Predicate Logic  pavankumar.thati  Applied Math  0  April 16th, 2013 10:26 AM 
Resolution in Predicate logic  Leila  Applied Math  9  January 4th, 2011 06:54 AM 
Predicate Logic translation. >_<  pinkcheese  Applied Math  0  November 22nd, 2010 09:40 PM 
Sets and Predicate logic  Zhai  Applied Math  7  February 22nd, 2010 07:32 PM 