Bifalgorithm post · Brisk · Chapter 1
What does ∀ x Professor(x) . False mean?
What does ∀ x Professor(x) . False mean? (Brisk · Chapter 1) — "∀ x Professor ( x ) . False. This says “everyone and ev- erything is a professor,” which is cle…
Ideas in this flowchart
- The universal claim that everything is a professor is false.
- Formal statement: ∀ x Professor(x).
- The statement says that everyone and everything is a professor.
- The claim is not true for all objects.
- What you ate for lunch provides a counterexample.
