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