Bifalgorithm post · Brisk · Chapter 1

What does ∃ x ¬ Human ( x ) mean?

What does ∃ x ¬ Human ( x ) mean? (Brisk · Chapter 1) — "∃ x ¬ Human ( x ) . True. This says “there’s at least one thing in the universe which is not hu- man.”…

Ideas in this flowchart

  • The statement ∃ x ¬ Human(x) is true.
  • ∃ x means that at least one thing exists in the universe.
  • ¬ Human(x) means that the thing is not human.
  • The statement is true because the universe contains at least one non-human thing.
  • Lunch is an example of something that is not human.
Bifalgorithm
Sign up
Feed/

What does ∃ x ¬ Human ( x ) mean?

Channel

Brisk

1 page

U
USR292600b83e2a
Ebook3w

"∃ x ¬ Human ( x ) . True. This says “there’s at least one thing in the universe which is not hu- man.” (Consider your lunch.)"

Flowchart preview
Series cover
👍
0
0 comments0 shares

Sign in to view and post comments.