22 ЯЗЫК ЛОГИКИ ВЫСКАЗЫВАНИЙ И ПРЕДИКАТОВ

Логика использует в своих построениях два типа искусственных языков: язык логики высказываний и язык логики предикатов.

Язык логики высказываний используется для рассмотрения суждений без учета их внутренней структуры. Язык логики высказываний использует содержательные символы. Содержательные символы – это выражения языка, имеющие содержание даже в том случае, если они взяты сами по себе. Одним из самых используемых символов языка логики высказываний является имя.

Второй тип языка – язык логики предикатов используется для описания процесса рассуждения, основываясь на его внутренней структуре. Для этого язык логики предикатов использует логические символы. Логические символы – это выражения языка, не имеющие самостоятельного содержания, но в сочетании с одним или несколькими содержательными символами образующие сложные выражения с самостоятельным содержанием. Язык логики предикатов имеет свой специфический алфавит, главными элементами которого выступают обозначения пяти логических связок.

1.  Конъюнкция – это логическая операция, образующая сложное высказывание из двух высказываний, объединенных с помощью логического союза «и». В алфавите языка логики предикатов знак конъюнкции обозначается, как «л».

2.  Дизъюнкция – это логическая операция образующая сложное высказывание из объединения двух высказываний с помощью логического союза «или». В алфавите языка логики предикатов знак дизъюнкции обозначается, как «V». В классической логике различают два типа дизъюнкции: строгую и нестрогую.

Строгая дизъюнкция образует сложное высказывание истинное только в том случае, когда, истинным является лишь один из его членов.

Нестрогая дизъюнкция образует сложное высказывание, которое истинно тогда, когда истинно хотя бы одно из входящих в него суждений, а ложно, когда ложны все входящие в него высказывания.

3.  Импликация – логическая операция, образующая сложное высказывание из двух высказываний, посредством логической связки, соответствующей союзу «если …. то …». Импликация обозначается символом «– >».

4.  Эквиваленция – это логическая операция сходная с импликацией. Часто эквиваленцию называют строгой импликацией. Эквиваленция объединяет суждения в сложные с помощью логического союза «если и только если., то.». В языке логики предикатов имеет следующий вид: «=».