Course Solutions Uncategorized (Solved) : 1 6 Marks Assignment Three Rewrote Following Theorems Using Quantifiers Predicates Must Pr Q29902427 . . . .

(Solved) : 1 6 Marks Assignment Three Rewrote Following Theorems Using Quantifiers Predicates Must Pr Q29902427 . . . .

 

1. (6 marks) In assignment three, you rewrote each of the following theorems using quantifiers and predicates. Now, you must prove that the theorem is true or show that it is false. You can assume the existence of a predicate Prime(x) whose value is true if x is a prime, and false otherwise. (a) Theorem: There exist three distinct primes p, q and r such that p+qr is also prime. Theorem in predicate logic. ?? ? Z+,31 ? Z+,3r ? Z+,p r ? Prime(p) ? Prime(q) ? Prime(r) ^ Primo(p + q + r). qAp rAg (b) Theorem: For a specific positive integer c, no matter how we choose a pair of positive integers x and y, we have x + y c. max {x,y} Theorem in predicate logic: 3c ? Z+,Vz E Z+,Vy ? Z+, x + y c.

1.

OR

PayPal Gateway not configured

OR

PayPal Gateway not configured

Leave a Reply

Your email address will not be published. Required fields are marked *

Related Post