Каталог статей
| Главная » Статьи » Алгебра высказываний |
Если завтра будет холодно (А) и рукав будет починен (В), то я надену теплое пальто (С). (А ˄ В) → С. Завтра будет холодно (А) и рукав не будет починен (В). А ˄ В. Следовательно, я не надену теплое пальто. С. Схема рассуждения {[(А ˄ В) → С] ˄ (А ˄ В)} → С. ∑= {[(А ˄ В) → С] ˄ (А ˄ В)}. ∑→ С. (А ˄ В) → С. А ˄ В. ------------ С.
Схема рассуждения ложна. (А ˄ В) → С. (=1) А ˄ В. (=1) -------------- С. (=0) | |||||
| Категория: Алгебра высказываний | Добавил: алхимик (13.12.2022) | |||||
| Просмотров: 139 | |||||
| Всего комментариев: 0 | |
