Реферат: Сложные суждения
Таблицы
истинности находят широкое применение для
·
Вычисления
истинности сложных высказываний;
·
Установления
эквивалентности высказываний;
·
Определения
тавтологий.
Равносильные
формулы логики высказывания – это выказывания, которые
принимают одинаковое значение истинности при одних и тех же значениях
элементарных высказываний, входящих в эти формы. Например, А→В, В¯→А¯
Тождественно-истинная
формула (тавтология) – это формула, которая принимает
значения истины при всех значениях, входящих в нее элементарных высказываний
Тождественно-ложная
формула (противоречие) – формула, которая при всех
значениях, входящих в нее элементарных высказываний, принимает значение лжи.
Пример:
(А¯˅
В)→(А˄В)
А
|
А¯
|
В
|
А¯˅ В
|
А˄В
|
(А¯˅ В)→(А˄В)
|
И |
Л |
И |
И |
И |
И |
И |
Л |
Л |
Л |
Л |
И |
Л |
И |
И |
И |
Л |
Л |
Л |
И |
Л |
И |
Л |
Л |
Список
использованной литературы
1.
М.Д.
Купарашвили, А.В. Нехаев, В.И. Разумов, Н.А. Черняк «Логика. Учебное пособие», Омск,
2005.
2.
Гладкий
А.В. «Введение в современную логику», МЦМНО, 2001.
3.
Челпанов
Г.И. «Учебник логики», Москва, 1897.
|