Bifalgorithm post · Brisk · Chapter 1

Why are ∀ x Human(x) ∧ Professor(x) and ∀ x Human(x) ⇒ Professor(x) different?

Why are ∀ x Human(x) ∧ Professor(x) and ∀ x Human(x) ⇒ Professor(x) different? (Brisk · Chapter 1) — "32. True or false: ∀ x Human ( x ) ∧ Professor ( x ) . No…

Ideas in this flowchart

Évaluer le sens de deux énoncés quantifiés
Énoncé 32 : ∀ x Human(x) ∧ Professor(x)
Faux : cela signifie que tout ce qui existe dans l’univers est un professeur humain.
Un tel monde serait triste et limité, même si j’y existerais.
Énoncé 33 : ∀ x Human(x) ⇒ Professor(x)
Faux : cela signifie que toute personne est professeure.
LeBron James constitue un contre-exemple à cette affirmation.
Le quantificateur ∀ et la conjonction ∧ ne s’accordent pas vraiment bien.

Bifalgorithm

Feed/

Why are ∀ x Human(x) ∧ Professor(x) and ∀ x Human(x) ⇒ Professor(x) different?

Channel

Brisk

1 page

USR292600b83e2a

Ebook3w

"32. True or false: ∀ x Human ( x ) ∧ Professor ( x ) . Not even close. This says “everything in the universe is a human professor.” (Even though I would exist in such a world, what a sad, limited place it would be.) 33. True or false: ∀ x Human ( x ) ⇒ Professor ( x ) . False. This says “every person is a professor.” (Consider LeBron James.) Keep in mind: “ ∀ ” and “ ∧ ” don’t really play well together."

Flowchart preview

👍

0 comments0 shares