This preview shows page 1. Sign up to view the full content.
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
This note was uploaded on 12/12/2009 for the course SE 3306 taught by Professor Nhut during the Spring '09 term at University of Texas at Dallas, Richardson.
 Spring '09
 Nhut

Click to edit the document details