Solution to B. Write the following predicates symbolically and determine its truth value. Note: Use at least … - Sikademy
Author Image

Archangel Macsika

B. Write the following predicates symbolically and determine its truth value. Note: Use at least three (3) values for the variables. (5 pts each) 1. for every real number x, if x>1 then x – 1 > 1 2. for some real number x, x2 ≤ 0 C. Translate the following English sentence into symbol. (3 pts each) 1. No one in this class is wearing pants and a guitarist. Let: Domain of x is all persons A(x): x is wearing pants B(x): x is a guitarist C(x): belongs to the class 2. No one in this class is wearing pants and a guitarist. Let: Domain of x is persons in this class A(x): x is wearing pants B(x): x is a guitarist 3. There is a student at your school who knows C++ but who doesn’t know Java. Let: Domain: all students at your school C(x): x knows C++ J(x): x knows Java

The Answer to the Question
is below this banner.

Can't find a solution anywhere?

NEED A FAST ANSWER TO ANY QUESTION OR ASSIGNMENT?

Get the Answers Now!

You will get a detailed answer to your question or assignment in the shortest time possible.

Here's the Solution to this Question

B. Write the following predicates symbolically and determine its truth value.

Note: Use at least three (3) values for the variables. (5 pts each)


1. for every real number x, if x>1 then x – 1 > 1

Solution:

Domain of x is all real number

P(x) : x > 1

Q(x) : x – 1 > 1

Answer: \forallx(P(x) → Q(x))

Truth value: x = {3,4,5} satisfies this statement


2. for some real number x, x2 ≤ 0

Solution:

Domain of x is all real number

P(x) : x^2 <= 0

Answer: \existsx(P(x))

Truth value: x = 0 satisfies predicate P(x)

Related Answers

Was this answer helpful?

Join our Community to stay in the know

Get updates for similar and other helpful Answers

Question ID: mtid-5-stid-8-sqid-3164-qpid-1863