My Math Forum  

Go Back   My Math Forum > College Math Forum > Applied Math

Applied Math Applied Math Forum

LinkBack Thread Tools Display Modes
April 16th, 2013, 09:26 AM   #1
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.
pavankumar.thati is offline  

  My Math Forum > College Math Forum > Applied Math

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

Copyright © 2017 My Math Forum. All rights reserved.