S.O.S. Mathematics CyberBoard

Your Resource for mathematics help on the web!
It is currently Thu, 23 May 2013 19:04:18 UTC

All times are UTC [ DST ]




Post new topic Reply to topic  [ 1 post ] 
Author Message
 Post subject: Logic and Prolog
PostPosted: Thu, 26 Nov 2009 23:49:09 UTC 
Offline
Math Cadet

Joined: Sun, 15 Nov 2009 21:19:02 UTC
Posts: 6
Hi, I have a question and have worked it out as below. Can you tell me if I am right.

Q. Let friend (x,y) denote 'x is a friend of y, man (x) 'x is a man' and woman (y) 'y is a woman'. Translate the following formulas into English sentences:

i) ∀x∃y friend(x,y)

Answer: Every man has atleast one woman friend.

ii) ∃x (man(x) ^ ∀y (friend(x,y) --> woman(y)))

Answer: For all friendship groups in the world, there is atleast one man and woman a friend.

Thanks and Regards
Jordan


Top
 Profile  
 
Display posts from previous:  Sort by  
Post new topic Reply to topic  [ 1 post ] 

All times are UTC [ DST ]


Who is online

Users browsing this forum: No registered users


You cannot post new topics in this forum
You cannot reply to topics in this forum
You cannot edit your posts in this forum
You cannot delete your posts in this forum

Search for:
Jump to:  
Contact Us | S.O.S. Mathematics Homepage
Privacy Statement | Search the "old" CyberBoard

users online during the last hour
Powered by phpBB © 2001, 2005-2011 phpBB Group.
Copyright © 1999-2013 MathMedics, LLC. All rights reserved.
Math Medics, LLC. - P.O. Box 12395 - El Paso TX 79913 - USA