Логика и неправильно понятые кванторы

Скриншот с профилем Alfred N. Whitehead и шуткой о том, как люди неправильно понимают логические высказывания. В публикации объясняется, что даже хорошо сформулированные предложения могут быть неверно интерпретированы, а затем приводится формула с кванторами: отрицание утверждения «для каждого x существует y, для которого верно P(x,y)» ошибочно принимают за отсутствие P(x,y) вообще. В финале автор резко исправляет это толкование другой формулой — «существует x, для которого для любого y неверно P(x,y)» — и заканчивает фразой «No bitch. Wtf is you talkin about.». Мем высмеивает путаницу между отрицанием кванторов и простым отрицанием существования свойства.

Alfred N. Whitehead @RussellsWhiteBoi LOGIC the only place where well articulated sentences still get misinterpreted. You can say “¬(∀x ∃y: P(x,y))” and somebody will say “So there’s no P(x,y)” No bitch. ∃x ∀y: ¬P(x,y) Wtf is you talkin about.