Predicates and quantifiers

7. Translate these statements into English, where C(x) is “x is a comedian” and F(x) is “x is funny” and the domain consists of all people

The following will serve as a guide to answer this exercise: a) ∀x(C(x)→F(x)) All comedians are funny. b) ∀x(C(x)∧F(x)) Every person is funny and a comedian. A shortened way is every person is a funny comedian. c) ∃x(C(x)→F(x)) There exists at least one person that, if that person is a comedian, then the person is […]

7. Translate these statements into English, where C(x) is “x is a comedian” and F(x) is “x is funny” and the domain consists of all people Read More »

Let P(x) be the statement “x = x2.” If the domain consists of the integers, what are these truth values?

To answer this question, we should substitute the values of x in the predicate. Once we do that, the predicate is transformed into a proposition, and we can state the truth value. So, let’s start answering the questions. a) P(0) P(x): “x=x2” P(0): “0=02=0” Answer: true. b) P(1) P(x): “x=x2” P(1): “1=12=1” Answer: true. c)

Let P(x) be the statement “x = x2.” If the domain consists of the integers, what are these truth values? Read More »

Predicate logic and quantifiers: solutions to the textbook exercises

In this article, you will see a video explaining predicate logic and quantifiers. After that, I’ll show the solution to the first five exercises from the text-book that professors are using to teach Discrete Mathematics in most universities. Find below the solution to the first five exercises from the text-book: Discrete Mathematics and Application by

Predicate logic and quantifiers: solutions to the textbook exercises Read More »