April 16th, 2013, 09:26 AM  #1 
Newbie Joined: Jul 2008 Posts: 7 Thanks: 0  Predicate Logic
Hi all, I answered the following question. Can anybody Confirm my answer... Question is As follows.. Q1. A certain cabal within the 6.042 course staff is plotting to make the final exam ridiculously hard. (“Problem 1. Prove that the axioms of mathematics are complete and consistent. Express your answer in Mayan hieroglyphics.”) The only way to stop their evil plan is to determine exactly who is in the cabal. The course staff consists of nine people: {Oscar, Stav, Darren, Patrice, David, Nick, Martyna, Marten, Tom} The cabal is a subset of these nine. A membership roster has been found and appears below, but it is deviously encrypted in logic notation. The predicate incabal indicates who is in the cabal; that is, incabal(x) is true if and only if x is a member. Translate each statement below into English and deduce who is in the cabal. (i) ?x ?y ?z (x != y ? x != z ? y != z ? incabal(x) ? incabal(y) ? incabal(z)) (ii) ¬(incabal(Stav) ? incabal(David)) (iii) (incabal(Martyna) ? incabal(Patrice)) ??x incabal(x) (iv) incabal(Stav) ? incabal(David) (v) incabal(Darren) ? incabal(Martyna) (vi) (incabal(Oscar) ? incabal(Nick)) ?¬incabal(Tom) (vii) (incabal(Oscar) ? incabal(David)) ?¬ incabal(Marten) ANS: Oscar, Nick and David. 

Tags 
logic, predicate 
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 
Resolution in Predicate logic  Leila  Applied Math  9  January 4th, 2011 05:54 AM 
Predicate Logic translation. >_<  pinkcheese  Applied Math  0  November 22nd, 2010 08:40 PM 
Sets and Predicate logic  Zhai  Applied Math  7  February 22nd, 2010 06:32 PM 