Мат. логика⁠⁠

Писал сегодня контрольную за семестр по мат логике, и вот это заставило меня засмеяться