Условие задачи
Проверить правильность рассуждения.
Если Смит победит на выборах, он будет доволен, а если он будет доволен, то он плохой борец в предвыборной кампании. Но если он провалится на выборах, то он потеряет доверие партии. Он плохой борец в предвыборной кампании, если он потеряет доверие партии. Если он плохой борец в предвыборной кампании, ему следует выйти из партии. Смит или победит на выборах, или провалится. Следовательно, ему нужно выйти из партии.
Ответ
Введем высказывания
А Смит победит на выборах
В Смит доволен
С Смит-плохой борец
D Смит потеряет доверие партии
E- Смит выйдет из партии
Запишем посылки и заключение на логическом языке
Посылки:
1. Если Смит победит на выборах, он будет доволен: А В
2. если он будет доволен, то он плохой борец: ВС
3. если он провалится на выборах, ...
