In general, a statement involving n variables x1 , x 2 ,…, x n can be denoted by
P( x1 , x 2,…, x n ) and is the value of the predicate P at the n-tuple (x1 , x2 ,…, x n ).
(a) Suppose Q(x , y) denotes the statement “ x=y+3 .” What are the truth values of the propositions Q(1,2) and Q(3,0)?
(b) Let R(x , y , z) denote the statement “ x+y=z .” What are the truth values of R(1,2,3) and R(0,0,1)?
Comments
Leave a comment