Bifalgorithm post · Brisk · Chapter 1

What does ¬∀ x Human ( x ) . True mean?

What does ¬∀ x Human ( x ) . True mean? (Brisk · Chapter 1) — "¬∀ x Human ( x ) . True. This says “it’s not the case that everyone and everything is hu- man.”…

Ideas in this flowchart

La afirmación ¬∀ x Human(x) es verdadera.
La expresión formal es ¬∀ x Human(x).
El símbolo ¬ significa «no es el caso que».
∀ x Human(x) afirma que todo x es humano.
La negación afirma que no todos ni todo son humanos.
La afirmación universal no es el caso.

Bifalgorithm

Feed/

What does ¬∀ x Human ( x ) . True mean?

Channel

Brisk

1 page

USR292600b83e2a

Ebook3w

"¬∀ x Human ( x ) . True. This says “it’s not the case that everyone and everything is hu- man.” And that certainly is not the case."

Flowchart preview

👍

0 comments0 shares