4rge/michina
1y ago
P(x), (∃a:¬P(a))⇒¬(∀x:P(x))
Reply to this note
Please
Login
to reply.
Discussion
No replies yet.
