Табличное определение логических связок

Ú – строгая дизъюнкция, А Ú В читается «либо А, либо В». Нестрогая дизъюнкция (Ú) – неисключающая, структура вида АÚВ понимается «верно А или В (или и то и другое)».

Обратите внимание: выше логическими связками соединялись символы А и В, – но среди исходных нет символов А и В. Мыслилось, что за каждым из них стоит произвольная формула изучаемого языка (ЯКЛВ). Когда вводят обозначения для произвольных формул (А, В, С и т.д. или, например, φ, ψ, φ₁[7] и т.д.) говорят о схемах формул. Так, выражение А&В имеет в виду любую формулу, в которой главный знак – конъюнкция, например, p&(q⊃Ør), q&Ør, (s ≡ (p&(q⊃Ør)))& (Øs₁ÚØs₂). О произвольных формулах ЯКЛВ мы не можем говорить на этом языке: в этом языке у нас нет возможности выразить информацию «любой», «произвольный». В языке КЛВ мы не можем сказать, что некоторое высказывание (формула) истинна или ложна и еще много чего «не можем». Высказывания о языке КЛВ формулируются в другом – более богатом – языке.