2015-03-20
450
| Основные понятия, которые необходимо усвоить: · синтаксис, семантика (синтаксический и семантический аспекты изучения языка) · объектный язык и метаязык · положения, принимаемые при построении семантики КЛВ: непротиворечивость, полнота, функциональность · оценка переменной · оценка последовательности переменных · табличные определения логических связок · логический статус формул |
В классической логике при интерпретации формул введенного выше языка принимаются следующие положения.
Принцип функциональности Значение высказывания целиком определяется значениями высказываний, входящих в его состав. Принцип непротиворечия Одно высказывание не может быть оценено одновременно как истинное и как ложное.
Принцип полноты Всякое высказывание в обязательном порядке оценивается как истинное или как ложное (не может быть высказывания, которое не получило бы одну из этих оценок).
Оценки переменных их последовательностей
Для каждой переменной существует два способа ее оценить: ей приписывается либо объект «истина» (и), либо «ложь» (л). Например, для переменной р:
|
|
|
| оценки формулы р | р |
| j 1 | и |
| j2 | л |
Для двух переменных существует 4 способа их совместной оценки.
| оценки формул | p | q |
| j 1 | и | и |
| j2 | и | л |
| j3 | л | и |
| j4 | л | л |
Оценка j1 означает предположение, что два высказывания – p и q – оба истинны, оценка j4 - что оба высказывания ложны. Оценка j3 задает ситуацию, когда первое из высказываний истинно, а второе – ложно; оценка j3 – двойственную. Очевидно, что принимая принципы непротиворечия и полноты никакой оценки, отличной от перечисленных, не существует.
Это может быть записано так: j1(р) =и, j1(q) =и; j4(р) =л, j4(q) =л; j3(р)=л, j3(q) =и.
В общем случае для n переменных число их возможных совместных оценок = 2n. Так, для трех переменных существует (23=) 8 способов их оценить, т.е. 8 функций оценок; для четырех - (24=) 16, для 5 - (25=) 32 и т.д.
Приведем все возможные функции оценок для трех переменных.
| Функции оценки переменных | p | q | r |
| j1 | и | и | и |
| j2 | и | и | л |
| j3 | и | л | и |
| j4 | и | л | л |
| j5 | л | и | и |
| j6 | л | и | л |
| j7 | л | л | и |
| j8 | л | л | л |
Скажем, j5 задает ситуацию, при которой из трех высказываний ложно только первое: j5(р) =л, j5(q) =и, j5(r) =и.
Для того, чтобы определить истинностное значение какой-либо структуры предложения (либо предложения) надо знать:
(а) значения всех переменных, входящих в ее состав (либо значения всех простых предложений, входящих в его состав);
(б) как логические связки вычисляют значения структуры (предложения) по элементарным составляющим.
Условие (а) – задание всех возможных значений для некоторых переменных – было рассмотрено выше. Теперь дадим определения логических связок.
|
|
|
