Bewildered/rewilded logician
¬(∀x. free(x)) ⇒ ¬∃x. free(x)
This profile is from a federated server and may be incomplete. For a complete list of posts, browse on the original instance.
Bewildered/rewilded logician
¬(∀x. free(x)) ⇒ ¬∃x. free(x)
This profile is from a federated server and may be incomplete. For a complete list of posts, browse on the original instance.