4.4. Логическое следование

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 
17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 
34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 
51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 
68 69 70 71 

Чтобы установить, следует ли логически формула В исчисления предикатов из множества формул А1, А2,..., am (м > 1), необходимо, как и в исчислении высказываний, построить соответствующую таблицу истинности и убедиться в том что формула В будет иметь истинное значение во всех тех строках, где А1, А2,..., Аm одновременно являются истинными, и это условие выполняется во всех универсумах рассуждения. Такое условие играет существенную роль, ибо одна формула будет логически следовать из другой (или других) в одном универсуме, но не следовать в ином универсуме.

Символически это определение можно представить в следующей форме:

A1,A2,  ,Am| = B

где знак | = обозначает следование.

В приведенном выше определении логического следования свободные переменные рассматриваются как обозначающие некоторые элементы из универсума рассуждения. Поэтому в течение всего рассуждения они, так же, как и предикаты, должны оставаться фиксированными. При другом определении переменные могут быть различными в разных формулах. Чтобы яснее представлять различия между двумя подходами к определению логического следования, обратимся к языку алгебры, в котором, как известно, различают, с одной стороны, уравнения (или условные равенства), а с другой – тождества (или тождественные равенства). В то время как уравнению удовлетворяют только определенные значения переменной, называемые его корнями, тождество выполняется при любых значениях переменной. Именно поэтому уравнения считаются условными равенствами. Действительно, например, в уравнении х2 + 2х – 3 = 0 левая часть равняется правой только при значениях х = 1 и х = –3, а в тождестве (х + 1)2 = х2 + 2х + 1 вместо переменной можно подставлять любые числа.

Соответственно этому будем говорить, что для переменных в уравнениях дается условная интерпретация, а в тождествах – интерпретация всеобщности. При условной интерпретации переменной х в определенном допущении А(х) – куда х входит свободно – любое следствие, полученное из него, должно относиться к тому же самому элементу из универсума А(х). Иными словами, переменная х в этом случае фиксирована, так как представляет то же самое число в процессе рассуждения. При тождественной интерпретации значения переменных могут изменяться. Отсюда становится ясным, что приведенное выше определение для логического следования в исчислении предикатов соответствует условной интерпретации свободных переменных, входящих в допущения A1, А2,..., An. Чтобы сформулировать другое определение следования, необходимо опираться на интерпретацию всеобщности для всех переменных. Для этого необходимо, во-первых, связать все допущения А1, А2, ..., Аm кванторами общности, а во-вторых, построить таблицы истинности, как и в первом определении.