1. Engineering
  2. Computer Science
  3. 12points in each part of this question build your counterexample...

Question: 12points in each part of this question build your counterexample...

Question details

(12points) In each part of this question, build your counterexample with universe domain -1,0, 13 to prove that the given statements are not logially equivalent. You can define the predicate P(z, y) differently for each part. To define the predicate, you can either use known predicates on numbers (e.g. r and y are bot even or r>y, etc.) or by defining explicitly for which x, y values P(, y) evaluates to T and for which values it evaluates to F (to do this, you must consider all possible domain values) 6 (a.) 3rvyP(x, y) (b.) VrBy P(z, y) (e) Va3yP(x,y) BydrP(x, y) BrvyP(,y)

Solution by an expert tutor
Blurred Solution
This question has been solved
Subscribe to see this solution