My Math Forum Predicate Logic

 Applied Math Applied Math Forum

 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 Linear Mode

 Similar Threads Thread Thread Starter Forum Replies Last Post skaur Applied Math 1 January 6th, 2014 05:51 PM mohitpd Applied Math 0 October 26th, 2013 07:45 PM Leila Applied Math 9 January 4th, 2011 05:54 AM pinkcheese Applied Math 0 November 22nd, 2010 08:40 PM Zhai Applied Math 7 February 22nd, 2010 06:32 PM

 Contact - Home - Forums - Cryptocurrency Forum - Top