Scribd
Upload
170 views4 pages

A) C (Mango) B) C (Lemon) C) C (Pomegranate) What Is The Domain of X?

The document contains exercises evaluating predicate logic statements and expressions. Exercise 1 has students evaluate statements about words containing letters and numbers being greater than 0. Exercise 2 has students simplify expressions removing negations from quantifiers. Exercise 3 has students determine the truth value of statements about integers and real numbers. It also has students translate English phrases into logical expressions using predicates defined in the question.

Uploaded by

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

A) C (Mango) B) C (Lemon) C) C (Pomegranate) What Is The Domain of X?

The document contains exercises evaluating predicate logic statements and expressions. Exercise 1 has students evaluate statements about words containing letters and numbers being greater than 0. Exercise 2 has students simplify expressions removing negations from quantifiers. Exercise 3 has students determine the truth value of statements about integers and real numbers. It also has students translate English phrases into logical expressions using predicates defined in the question.

Uploaded by

Darwin Tacubanza
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as DOCX, PDF, TXT or read online on Scribd
You are on page 1/ 4

Predicate Logic Activities

Exercise 1: Evaluate the following. Determine the truth value of each of the
statements below.
1
1. Let C(x) denote the statement “The word x contains the letter a."
a) C(mango)
b) C(lemon)
c) C(pomegranate)
 What is the domain of x?
2

2. Let P(x) denote the statement “ x 2 > 0", where the domain of x is Z.
a) P(4)
b) P(-5)
c) aP(a)
d) yP(y)

Exercise 2: Simplify the following expressions by removing the negation beside


the quantifiers.
1. x(P(x)  (S(x)  Q(x)))

2. x(P(x)  Q(x)  (Q(x) P(x)))


Exercise 3: Shade the box of the correct answer

1. Determine the truth value of P(-4) given that P(x) = x 2 ≥ 0 where the domain of x is the
set of integers
o True
o False

2. Determine the truth value of ¬ P( 0) given that P ( x ) =x 2 ≥ 0 where the domain of x is the
set of integers.
o True
o False

3. Given that the universe of discourse is the set of real numbers, determine the truth value
of ∀ x ∃ y (x = y 2)
o True
o False

4. Given that the universe of discourse is the set of real numbers, determine the truth value
of ∀ y ∃ x(x = y 2)
o True
o False

5. Given that the universe of discourse is the set of real numbers, determine the truth value
of  ∃m ∀ n(mn=0)
o True
o False
6. What is the correct translation of "Some Mangoes are sour and crunchy"?
Given that:
M(x) = “x is a Mango”
S(x) = “x is sour”
C(x)= “x is crunch

o ∃x¿
o ∃x¿
o ∃ x [ M ( x ) ∧ S ( x ) ∧C ( x ) )
o ∃ x [ M ( x ) ∧ S ( x ) ∨C ( x ) )

7. What is the correct translation of "All birds can either fly or not"
Given that:
B(x) = "x is a bird"
F(x) = "x can fly"
o ∀ x [B ( x ) →(F ( x ) ∨ ¬ F ( x ) )]
o ∀ x [ B ( x ) ∧( F ( x ) ∨¬ F ( x )) ]
o ∀ x [ B ( x ) ∧( F ( x ) ⊕¬ F ( x ) ) ]
o ∀ x [F ( x ) ⊕¬ F ( x ) ]

8. What is the correct translation of "A certain book can be found in every library"?
Given that:
x is a book
y is a library
o ∃ x ∃ yF (x , y )
o ¬ ∀ x ∃ yF ( x , y )
o ∃ x ∀ yF ( y , x )
o ∃ x ∀ yF (x , y)

9. Simplify the expression by distributing the negation: ¬ ∀ x ¿


o ∃ x [¬ P ( x ) →( S ( x ) ∨Q ( x ))]
o ∃x¿
o ∃x¿
o ∃ x [ P ( x ) ∧(¬ S ( x ) ∨¬Q ( x ))]

You might also like