A → (A ˅ B)

Если истинно  А, то А ˅ В    – истинно. Если А ложно, то А ˅ В – истинно или ложно.

1. Если идёт дым, то идёт дым или дождь.

2. Если А - металл, то А - металл или кислота.

3. Если А - человек, то А - человек или животное.

4. Если А – преступник, то верно, что если В – преступник, то А и В – преступники.

Дано։

А =1.

Доказать։

[А → (А ˅ В)] =1.

Допустим противное։ [А → (А ˅ В)] =0. Тогда А =1, (А ˅ В) =0.

Если (А ˅ В) =0, то А =0, В =0, что противоречит условию  А =1.

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

А → (А ˅ В).   Если истинно  А, то А ˅ В    – истинно.

А → (А ˅ В).   Если истинно  А, то А ˅ В    – истинно.