Scribd
Upload
5 views1 page

Discrete Math: Predicate Logic Tutorial

Uploaded by

esraaelmehy729
Copyright
© All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
5 views1 page

Discrete Math: Predicate Logic Tutorial

Uploaded by

esraaelmehy729
Copyright
© All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd

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