09ma6cHW6

09ma6cHW6 - A 1 : x yP ( x,y ) A 2 : x y z [ P ( x,y ) P (...

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

View Full Document Right Arrow Icon
Ma/CS 6c Assignment #6 Due Thursday, May 13 at 1 p.m. (20%) 1. Prove that a proper initial segment of a formula in first-order logic is not a formula. (10%) 2. (a) Write a sentence A 6 in the language with no non-logical symbols (but recall that “=” is available), such that for any structure M = h M i for this language: M | = A 6 iff M has exactly 6 elements. (b) Write a sentence B in the language L = { R } , R a binary relation symbol, such that for any structure M = h M,R M i for this language, we have: M | = B iff R M is the graph of a one-to-one correspondence of M with itself (i.e., a permutation of M ) . (10%) 3. Find a sentence A in the language L = { < } , < a binary relation symbol, such that h Q ,< i | = A but h Z ,< i | = ¬ A. (Here Q = rationals, Z = integers, and < is the usual ordering in each one of them.) (10%) 4. Write a sentence A in the language L = { R } , R a binary relation symbol, such that for any structure M = h M,R M i for L we have: M | = A iff R m is an equivalence relation on M which has exactly 4 equivalence classes each of which has exactly 8 elements. (20%) 5 * . Consider the language L = { P } , P a binary relation symbol, and the sentences
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: A 1 : x yP ( x,y ) A 2 : x y z [ P ( x,y ) P ( y,z ) P ( x,z )] A 3 : x P ( x,x ) Assume that M = h M,P M i | = A 1 A 2 A 3 . What can you say about the cardinality of M ? 1 (10%) 6. Show that the formula ( xA xB ) x ( A B ) (*) is in general not logically valid (i.e., nd a language L and formulas A,B in L such that the formula ( * ) is not logically valid). (10%) 7. Show that if S is a binary relation symbol, then | = y x ( S ( y,x ) S ( x,x )) . (10%) 8. Let M = h N ,&lt; i , where &lt; is the usual ordering on N , and let S = h N ,&lt; S i , where &lt; S is the following binary relation on N : n &lt; S m i ( n,m are both even or both odd, and n &lt; m ) or ( n is even and m is odd). Find a sentence A in the language L = { &lt; } , where &lt; is a binary relation symbol, such that M | = A but S | = A. 2...
View Full Document

Page1 / 2

09ma6cHW6 - A 1 : x yP ( x,y ) A 2 : x y z [ P ( x,y ) P (...

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