CS 336 PreTest_sets_1 - Name _____________________ Right...

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

View Full Document Right Arrow Icon

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

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

Unformatted text preview: Name _____________________ Right Left CS 336 Pre-Test 1 Logic 1. Sentential Calculus (SC) 1.1* Prove that for all propositions p , q , and r : a) [~q ~p] [p q] b) [p (q r)] [~p (q r)] 2. First Order Predicate Calculus (PC) 2.1.* State an assertion that, if true, would falsify each of the following claims: a) All zamzows have tenockritus. b) Some zamzows have tenockritus. 2.2. Given the following two axioms: 2200 x Px Qx 5 x ~Qx ~Rx Prove that 5 y ~Py 2.3. Consider the predicates Wx ( x is a woman), CHILDOFxy ( y is a child of x ), and Mx ( x is a mother). a) * Write a PC formula to describe the fact that all women with children are mothers. b) Modify the definition of mother given in (a) to add the fact that only women with children are mothers. Use this, plus the fact that Mary has no children, to prove children are mothers....
View Full Document

This note was uploaded on 11/30/2010 for the course CS 336 taught by Professor Myers during the Fall '08 term at University of Texas at Austin.

Page1 / 5

CS 336 PreTest_sets_1 - Name _____________________ Right...

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

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