MIT6_042JF10_rec01

MIT6_042JF10_rec01 - = z incabal ( x ) incabal ( y )...

Info iconThis preview shows pages 1–2. Sign up to view the full content.

View Full Document Right Arrow Icon
6.042/18.062J Mathematics for Computer Science September 10, 2010 Tom Leighton and Marten van Dijk Problems for Recitation 1 1 Team Problem: A Mystery A certain cabal within the 6.042 course staff is plotting to make the Fnal 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
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Background image of page 2
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: = 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) MIT OpenCourseWare http://ocw.mit.edu 6.042J / 18.062J Mathematics for Computer Science Fall 2010 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms ....
View Full Document

This note was uploaded on 01/19/2012 for the course CS 6.042J / 1 taught by Professor Tomleighton,dr.martenvandijk during the Fall '10 term at MIT.

Page1 / 2

MIT6_042JF10_rec01 - = z incabal ( x ) incabal ( y )...

This preview shows document pages 1 - 2. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online