Bifalgorithm post · Brisk · Chapter 1
What does ¬∃ x Human(x) mean?
What does ¬∃ x Human(x) mean? (Brisk · Chapter 1) — "¬∃ x Human ( x ) . False. This says “nothing is human,” just like item 29 did."
Ideas in this flowchart
- ¬∃ x Human(x)
- La fórmula niega la existencia de un x que sea humano.
- Significa «nada es humano».
- La afirmación es falsa.
- La afirmación es igual que la del ítem 29.
