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

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

30 Примеры

A B.

B C.

----------

A C.

A B C C

→ B

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

 

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

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

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

Если прямые параллельны, то они не скрещиваются.

 

2. Если Zn реагирует c HCl, то и Fe реагирует c HCl.

Если Fe реагирует c HCl, то золото не реагирует с HCl.

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

Если Zn реагирует c HCl, то золото не реагирует с HCl.

 

Дано:

[(А → В) ˄ (В → С)] =1.

Доказать

{[(А → В) ˄( В → С)] → (А → С)} =1.

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

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

Если (А → С) =0,  то А =1, С =0.

Если [(А → В) ˄ (В → С)] =1, то при А =1, В =1 получается С =1,

что противоречит условию С =0.

Значит, {[(А → В) ˄ В] → А} =1. Формула доказана.

 

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