Scribd
Upload
5 views

Predicate Logic-Math - Tutorial 2

Uploaded by

esraaelmehy729
Copyright
© © All Rights Reserved
Available Formats
Download as PDF, TXT or read online on Scribd
5 views

Predicate Logic-Math - Tutorial 2

Uploaded by

esraaelmehy729
Copyright
© © All Rights Reserved
Available Formats
Download as PDF, TXT or read online on Scribd
You are on page 1/ 1

Discrete Math. Tutorial 2.

Predicate logic & Math


1- Find the solution set for P(x)= (x+3=1)  (x2 = 4) xϵZ (Z integer numbers)

2- Rewrite each of the following statements in the form “∀x , if then”.


a. All bytes have eight bits.
b. No irrational numbers are integers.

3-Rewrite each of the following in the form “∃ x such that .”


a. Some real numbers are rational.
b. There is a student in DiscMath.
4-Let D = E = {-2,-1, 0, 1, 2}. Determine whether each of the following
statements is true or false. justify the false.
a. ∀x in D, ∃y in E such that x + y = 0.
b. ∃x in D such that ∀y in E, x + y = y.
c. ∃x in D such that ∀y in E, x ≤ y.

5-Which of the following true (false)? Justify your answer


(R is the set of real numbers)
1. "∀x ϵ R , x2 > x .
2. ∃ x ϵ R , x2 > x
3. "∀x ϵ R , if x >1 then x2 > x .
4. ∃ x ϵ R , if x >1 then x2 > x .

6-Write a formal negation for each of the following statements:


A. ∀ computers c, c has a CPU.
B. ∃ a movie m such that m is over 6 hours long.
C. Any valid argument has a true conclusion.
E. ∀ colors C, ∃ an animal A such that A is colored C.

7- Write a dual for each of the following :


(a) (p  q)  r (b) (p  q)  r
(c) ~(p  q) (e ) x Likes(x,IceCream)

1/1 P.T.O

You might also like