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