Решение: Решение логического высказывания
Даны целые числа $A$, $B$, $C$, для которых истинно высказывание $\neg(A=B) \land ((B<A) \to (2C>A)) \land ((A<B) \to (A>2C))$. Чему равно $A$, если $C=8$, $B=18$?
Решение по шагам
4 шагаПодставим значения $C=8$ и $B=18$ в логическое выражение:
$$\neg(A=18) \land ((18<A) \to (16>A)) \land ((A<18) \to (A>16))$$Если $A>18$, то условие $18<A$ истинно, поэтому импликация требует $16>A$. Это невозможно, поскольку $A>18$.
Следовательно, $A<18$. Тогда условие $A<18$ истинно, и последняя импликация требует $A>16$.
Единственное целое число, удовлетворяющее неравенствам $16<A<18$, — это $A=17$.
Где здесь ошибаются
Неверно считать импликацию истинной только при истинности её следствия.
Забыть, что $A$, $B$ и $C$ — целые числа.
Не рассмотреть случай $A>18$ и не проверить первую импликацию.