Solution to Express each of these statements using quantifiers. Then form the negation of the statement so … - Sikademy
Author Image

Archangel Macsika

Express each of these statements using quantifiers. Then form the negation of the statement so that no negation is to the left of a quantifier. Next,express the negation in simple English. (a) There is a student in this class who has chatted with exactly one other student. (b) No student has solved at least one exercise in every section of this book. (c) Every movie actor has either been in a movie with Kevin Bacon or has been in a movie with someone who has been in a movie with Kevin Bacon.

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

(a) P(x): a student has chatted with exactly one other students.

\exists x \in \{class\} \; P(x)

\neg \exists x \in \{class\} \; (P(x)) = \forall x \in \{class\} \; ( \neg P(x))

All students in the class have not chatted with exactly one other student.


(b) Q(x,y) : student has solved at least 1 exercise from y section

\forall x \in \{class\} \forall y \in \{sections \; of \; book\} (\neg Q(x,y))

\neg(\forall x \in \{class\} \forall y \in \{sections \; of \; book\} ( \neg Q(x,y)) = \exists x \in \{class\} \exists y \in \{sections \; of \; book\} ( Q(x,y))

There is a student in class and there is a section from book from which he/she solved at least one exercise.


(c) P(x): actor has been in a movie with Kevin Bacon

Q(x): actor has been in a movie with someone who has been in a movie with Kevin Bacon.

\forall x \in \{actors\} (P(x) \lor Q(x))

\neg (\forall x \in \{actors\} (P(x) \lor Q(x))) = \exists x \in \{actors\} (\neg P(x) \land \neg Q(x))

There is an actor that hasn't been in a movie with Kevin Bacon and hasn't been in a movie with someone who has been in a movie with Kevin Bacon.


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-3743-qpid-2442