Импликация. Отношение логического следования. Связь логического следования с законами логики.

Логические отношения между высказываниями (формулами) в классической логике высказываний(к.л.в.).

Обсуждение практических и научных вопросов обычно связано с выдвижением различных положений и мнений. В судебно-следственной практике невозможно обойтись без положений, которые называются версиями. Их приходится сопоставлять друг с другом, одни из них противополагаются другим, некоторые оказываются более сильными, чем другие и т.д. Это означает, что высказывания вступают между собой в различные логические отношения.

Логические отношения между высказываниями устанавливаются через отношения схем, которые наполняются содержанием этих высказываний. Основные отношения – это отношения совместимости и несовместимости. Совместимость схем определяется наличием хотя бы одного случая, когда при одинаковых логических значениях переменных эти схемы одновременно получают значение «истинно». При отсутствии такого случая схемы несовмести м ы. Так, схемы A Ù B и A Ú B совместимы. Это видно из таблицы 6, в частности из первой ее строки, где при подстановке вместо A и B значения «истинно » как первая, так и вторая схема получает значение «истинно». Схемы A Ú B и A «B несовместимы, так как при одинаковых значениях A и B они не имеют общего значения "истинно" (таблица 7).

Таблица 6

A	B	A Ù B	A Ú B
и	и	и	и
и	л	л	и
л	и	л	и
л	л	л	л

Таблица 7

A	B	A «B	A Ú B
и	и	и	л
и	л	л	и
л	и	л	и
л	л	и	л

Совместимые формы могут находиться в следующих отношениях:

а) отношение следования, или подчинения;

б) полной совместимости, или равнозначности;

в) частичной совместимости.

Отношение следования (подчинения)

Вывести следствие из некоторых положений – значит изъять из них какую-то часть их содержания. Если исходное содержание является истинным, то и следствие также истинно. Из ложного содержания можно получить как ложное, так и истинное содержание. Поэтому отношение следования в логике высказываний можно определить так: логические схемы a и b находятся в отношении следования (из a следует b), если и только если при одинаковых значениях переменных не бывает так, что схема a получает значение «истинно», а схема b получает значение «ложно». В качестве примера возьмем схемы высказываний: “Если электростанция прекратит подачу тока, то предприятие остановится, а если оно остановится, то понесет большие убытки” и “Если электростанция прекратит подачу тока, то предприятие понесет большие убытки”. Сопоставим эти схемы – (A ® B) Ù (B ® C) и (A ® C) - табличным способом (таблица 8).

Таблица 8

A	B	С	(A ® B) Ù (B ® C)	(A ® C)
и	и	и	и	и
и	и	л	л	л
и	л	и	л	и
л	и	и	и	и
и	л	л	л	л
л	л	и	и	и
л	и	л	л	и
л	л	л	и	и

Первая схема получает значение «истинно» в четырех случаях (см. строки 1-ю, 4-ю, 6-ю, 8-ю). Но в этих же случаях значение «истинно» получает и вторая схема, и нет такого случая, чтобы высказывание первой схемы было истинным, а второй - ложным. Следовательно, из первой схемы следует вторая, соответственно, из первого высказывания следует второе высказывание.

Отношение полной совместимости (равнозначности)

Схемы a и b находятся в отношении полной совместимости, или равнозначности, если и только из схемы a следует схема b, и наоборот; иными словами, в этом случае при одинаковых значениях переменных схемы a и b принимают одинаковые логические значения, и их таблицы истинности полностью совпадают. Например, в отношении полной совместимости находятся схемы высказываний “Если товарное производство расширяется, то натуральное хозяйство разлагается” и “если натуральное хозяйство не разлагается, то товарное производство не расширяется” (таблица 9).

Таблица 9

A	B	A ® B	Ø B ® Ø A
и	и	и	и
и	л	л	л
л	и	и	и
л	л	и	и

Отношение частичной совместимости

Схемы a и b находятся в отношении частичной совместимости, если и только если при одинаковых значениях переменных они вместе получают значение «истинно», но не получают значение «ложно». Таковы, например, схемы высказываний "Если план выполним, то он обеспечен ресурсами" и "Если план обеспечен ресурсами, то он выполним". Из них получаются высказывания, истинные в двух случаях (см. таблицу 10, строки 1-ю и 4-ю), но совместная ложность высказываний исключена. Говоря языком математики, в отношении частичной совместимости находятся прямая и обратная теоремы.

Таблица 10

A	B	A ® B	B ® A
и	и	и	и
и	л	л	и
л	и	и	л
л	л	и	и

Теперь рассмотрим отношение несовместимости. В качестве разновидностей этого отношения нужно выделить отношения противоречия и противности.

Импликация. Отношение логического следования. Связь логического следования с законами логики.

Поиск по сайту