Условие задачи
Сделайте вывод из посылок и проверьте с помощью модусов умозаключений из сложных суждений их правильность.
А) Если ночью выпадет снег, то завтра пойдем играть в снежки. Снег не выпал. Следовательно, …
Ответ
Если ночью выпадет снег (а), то завтра пойдем играть в снежки (b). Снег не выпал (не-а).
Следовательно, завтра не пойдем играть в снежки (не-b).
Схема вывода: