Nov 01, 2024 P(x), (∃a:¬P(a))⇒¬(∀x:… P(x), (∃a:¬P(a))⇒¬(∀x:P(x)) Written by: 4rge/michina nohup timedatctl set-time 13:37
