Navigation bar
  Print document Start Previous page
 62 of 154 
Next page End  

62
истинности в исчислении предикатов обращаются главным образом для иллюстраций, используя для
этого весьма простые формулы с крайне ограниченным универсумом рассуждений.
Тем не менее аналогия с исчислением высказываний оказывается весьма полезной для объяснения
таких понятий, как
общезначимая (или тождественно истинная) формула исчисления предикатов и
логическое следование в этом исчислении. Формула А считается общезначимой в исчислении
предикатов, если при всяком выборе универсума рассуждений (области ее значений) столбец ее
значений в таблице будет состоять только из истин. Если универсум будет фиксирован, то формула
называется общезначимой только в этом универсуме.
Поскольку проверка формулы на общезначимость, как мы видели, представляет собой крайне
трудную задачу, то выход часто ищут в противоположной операции: в установлении необщезначимости
формулы. Для этого в принципе достаточно найти такую единственную строку в таблице, где формула
принимает ложное значение. В приведенном выше примере (см. табл.13) этими строками являются 8 и
11.
В некоторых случаях поиск необщезначимой формулы может быть ускорен, если воспользоваться
сокращенными способами, основанными на определениях логических операций дизъюнкции,
конъюнкции и импликации. Например, если нам было бы известно, что один из дизъюнктивных членов
рассматриваемой формулы был бы истинен, тогда истинной была бы вся формула. Если же ложным
оказался один член конъюнкции, то вся формула окажется ложной.
4.4. Логическое следование
Чтобы установить, следует ли логически формула В исчисления предикатов из множества формул
А¹, А²,..., AM
(м > 1), необходимо, как и в исчислении высказываний, построить соответствующую
таблицу истинности и убедиться в том что формула В будет иметь истинное значение во всех тех
строках, где А¹, А²,..., Аm одновременно являются истинными, и это условие выполняется во всех
универсумах рассуждения. Такое условие играет существенную роль, ибо одна формула будет
логически следовать из другой (или других) в одном универсуме, но не следовать в ином универсуме.
Символически это определение можно представить в следующей форме:
A¹,A²,  ,Am| = B
где знак | = обозначает следование.
В приведенном выше определении логического следования свободные переменные рассматриваются
как обозначающие некоторые элементы из универсума рассуждения. Поэтому в течение всего
рассуждения они, так же, как и предикаты, должны оставаться фиксированными. При другом
определении переменные могут быть различными в разных формулах. Чтобы яснее представлять
различия между двумя подходами к определению логического следования, обратимся к языку алгебры,
в котором, как известно, различают, с одной стороны, уравнения (или условные равенства), а с другой –
тождества (или тождественные равенства). В то время как уравнению удовлетворяют только
определенные значения переменной, называемые его корнями, тождество выполняется при любых
значениях переменной. Именно поэтому уравнения считаются условными равенствами. Действительно,
например, в уравнении х² + 2х 3 = 0 левая часть равняется правой только при значениях х = 1 и х = –3,
а в тождестве (х + 1)² = х² + 2х + 1 вместо переменной можно подставлять любые числа.
Соответственно этому будем говорить, что для переменных в уравнениях дается условная
интерпретация, а в тождествах
интерпретация всеобщности. При условной интерпретации
переменной х в определенном допущении А(х) куда х входит свободно – любое следствие, полученное
из него, должно относиться к тому же самому элементу из универсума А(х). Иными словами,
переменная х в этом случае фиксирована, так как представляет то же самое число в процессе
рассуждения. При тождественной интерпретации значения переменных могут изменяться. Отсюда
становится ясным, что приведенное выше определение для логического следования в исчислении
предикатов соответствует условной интерпретации свободных переменных, входящих в допущения A¹,
А²,..., An. Чтобы сформулировать другое определение следования, необходимо опираться на
интерпретацию всеобщности для всех переменных. Для этого необходимо, во-первых, связать все
допущения А¹, А²,
..., Аm кванторами общности, а во-вторых, построить таблицы истинности, как и в
первом определении.
Сайт создан в системе uCoz