0
$\begingroup$

Problem: Any professor who is bored by everyone, bores all/her students.

Domain: Set of all people

Predicates

  • $P(x): x$ is a professor
  • $B(x,y): x$ bores $y$
  • $S(x,y): x$ is a student of $y$

Answer: $\forall x[P(x) \wedge \forall zB(z,x) \to \forall y(S(y,x) \to B(x,y))]$

I can understand the first conjunction part but it is hard to understand why there is implication between S(y,x) → B(x,y).

My original answer: $\forall x[P(x) \wedge \forall zB(z,x) \to \forall y(S(y,x) \wedge B(x,y))]$

Why is the implication correct, while conjunction is wrong ?

Any help is appreciated. Thank you.

$\endgroup$
0

2 Answers 2

1
$\begingroup$

The difference between

$$\forall x (P(x) \rightarrow Q(x))$$

and

$$\forall x (P(x) \land Q(x))$$

is tripping up a lot of beginning students of logic.

The first statement says "All P's are Q's"

The second statement says "Everything is both a P and a Q"

The first statement occurs more often in practice. For example, "All cats are furry", "All prime numbers greater than two are odd", and "All beginning students of logic struggle with the quantifiers" all follow the first pattern, where you use a $\rightarrow$. Indeed, if we were to use the $\land$ instead, we would get: "everything is a cat and furry", "Every number is both prime and odd", and "Everyone is a beginning student of logic and struggles with quantifiers"... which are clearly very unusual sentences.

And so it is with your sentence: if you use the $\land$, you end up saying that everything or everyone (including the professor themselves!) is both a student of the professor and is being bored by that professor ... which is clearly not what you want. What you want, is that all students of the professor are being bored by that professor, which follows the conditional form: If someone is a student of the professor, then that person will be bored by the professor.

$\endgroup$
3
  • $\begingroup$ Thank you sir! Again your detailed explanation helped me understand the difference between them. Then if every professor bores some of their students, then ∀x(P(x) → ∃y(S(x,y) ∧ B(x,y)). Also if every professor bores all of his/her students, then ∀x(P(x) → ∃y(S(x,y) → B(x,y)). Is this correct? $\endgroup$
    – user551192
    Apr 20, 2018 at 22:43
  • $\begingroup$ @VioletOlive you're welcome! For the last one, I assume you meant to use $\forall y$. ... and yes, with that correction, it's all correct! :) $\endgroup$
    – Bram28
    Apr 20, 2018 at 23:07
  • $\begingroup$ right! thanks for your quick response. @Bram28 $\endgroup$
    – user551192
    Apr 20, 2018 at 23:08
1
$\begingroup$

$\forall y(S(x,y)\wedge B(y,x))$ says that everybody is a student of this professor, and that that the professor bores everybody. (It's possible that the professor bores everyone, but unlikely that everyone is her student.)

$\endgroup$
1
  • $\begingroup$ Thanks for your response! $\endgroup$
    – user551192
    Apr 20, 2018 at 22:58

You must log in to answer this question.