Таблицы истинности
Сложные суждения / Таблицы истинности
Страница 1

Таблица истинности

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

А

В

А¯

В¯

А˄В

А˅В

А→В

А

«

В

И

И

Л

Л

И

И

И

И

И

Л

Л

И

Л

И

Л

Л

Л

И

И

Л

Л

И

И

Л

Л

Л

И

И

И

Л

И

И

Таблицы истинности находят широкое применение для

· Вычисления истинности сложных высказываний;

· Установления эквивалентности высказываний;

· Определения тавтологий.Пневмораспределитель 3 2 с электромагнитным управлением

Равносильные формулы логики высказывания

– это выказывания, которые принимают одинаковое значение истинности при одних и тех же значениях элементарных высказываний, входящих в эти формы. Например, А→В, В¯→А¯

Тождественно-истинная формула (тавтология)

– это формула, которая принимает значения истины при всех значениях, входящих в нее элементарных высказываний

Тождественно-ложная формула (противоречие)

– формула, которая при всех значениях, входящих в нее элементарных высказываний, принимает значение лжи.

Пример:

(А¯˅ В)→(А˄В)

А

А¯

В

А¯˅ В

А˄В

(А¯˅ В)→(А˄В)

И

Л

И

И

И

И

И

Л

Л

Л

Л

И

Л

И

И

И

Л

Л

Л

И

Л

И

Л

Л

Страницы: 1 2

    Смотрите также

    Русская философия первой половины XX столетия
    Богдан Александрович Кистяковский (1868-1920) родился в семье профессора уголовного права Киевского университета. Получил юридическое образование в Германии. Преподавал в Московском и Киевском универ ...