Условие:
Будет ли истинным, согласно закону исключенного третьего, утверждение «Иванов или прекратил воровать, или не прекратил воровать»?
a.
нет
b.
да
c.
да, но только при условии, если Иванов когда-либо воровал
Решение:
Рассмотрим утверждение: «Иванов или прекратил воровать, или не прекратил воровать». Обозначим P как «Иванов прекратил воровать». Тогда утверждение можно записать как P или ¬P. 1. ...