Bifalgorithm post · Brisk · Chapter 1

How can every professor being human be expressed correctly?

How can every professor being human be expressed correctly? (Brisk · Chapter 1) — "35. True or false: ∀ x Professor ( x ) ⇒ Human ( x ) . True at last! This is…

Ideas in this flowchart

  • Professorhood implies humanity
  • Item 35: ∀ x Professor(x) ⇒ Human(x)
  • The statement is true.
  • Every professor is a person.
  • Item 36: ¬∃ x Professor(x) ⇒ ¬Human(x)
  • This is equivalent to item 35.
  • There is nothing in the universe that is a professor yet not a human.
  • This holds at least at the time of writing.
Bifalgorithm
Sign up
Feed/

How can every professor being human be expressed correctly?

Channel

Brisk

1 page

U
USR292600b83e2a
Ebook3w

"35. True or false: ∀ x Professor ( x ) ⇒ Human ( x ) . True at last! This is what we were try- ing to say all along. Every professor is a person. 36. True or false: ¬∃ x Professor ( x ) ⇒ ¬ Human ( x ) . True! This is an equivalent statement to item 35. There’s nothing in the universe that is a professor yet not a human. (At least, at the time of this writing.)"

Flowchart preview
Series cover
👍
0
0 comments0 shares

Sign in to view and post comments.