Unformatted text preview: y in A , there exists a z in A such that x + y = z (closure) • If x + y = z and x + y = w then z = w (uniqueness) • ( x + y ) + z = x + ( y + z ) 4. Consider the following interpretation: Domain = { 1 , 2 } Assignment of constants: a = 1 and b = 2 Assignment of functions: f (1) = 2 and f (2) = 1 Assignment for predicate P : P (1 , 1) = T ; P (1 , 2) = T ; P (2 , 1) = F ; P (2 , 2) = F Evaluate the truth value of following formulas in the above interpretation: • P ( a,f ( a )) ∧ P ( b,f ( b )) • ( ∀ x )( ∃ y ) P ( y,x ) • ( ∀ x )( ∀ y )( P ( x,y ) → P ( f ( x ) ,f ( y )))...
View
Full Document
 Spring '09
 Nhut
 Rational number, Abelian

Click to edit the document details