Каталог статей

Главная » Статьи » Алгебра высказываний

28 Примеры

A → B.

A.

----------

B.

 

A B A → B (A → B)˄A [(A → B)˄A]  → B
1 1 1 1 1
0 1 1 0 1
1 0 0 0 1
0 0 1 0 1

 

1. Если прямые параллельны, то они лежат в одной плоскости.

Рассматриваемые прямые параллельны.

-------------------------------------------------------------------------------------------

Значит, они лежат в одной плоскости.

 

2. Если водород реагирует с кислородом, то он реагирует и с хлором.

Водород с кислородом реагирует.

-------------------------------------------------------------------------------------------------

Значит, водород реагирует с хлором.

 

Дано[(А → В˄ А] =1.

Доказать{[(А → В) ˄ А] → В} =1.

Допустим противное{[(А → В) ˄ А] → В} =0.

Если    {[(А → В) ˄ А] → В} =0, то [(А → В) ˄ А] =1, В =0.

Если [(А → В) ˄ А] =1, то В =1.

А → В.

А.

----------

В.

Пришли к противоречию В =0 и В =1.

Значит, {[(А → В) ˄ А] → В} =1, что требовалось доказать. 

Категория: Алгебра высказываний | Добавил: алхимик (20.10.2021)
Просмотров: 129
Всего комментариев: 0
Добавлять комментарии могут только зарегистрированные пользователи.
[ Регистрация | Вход ]