Решение: Определение значения B
A, B, C — целые числа, для которых истинно высказывание $\neg(A=B) \land ((A>B) \to (B>C)) \land ((B>A) \to (C>B))$. Чему равно B, если A = 45, C = 43?
Решение по шагам
4 шагаИз условия $\neg(A=B)$ получаем $B \ne 45$.
Если $B<45$, то высказывание $A>B$ истинно, поэтому из импликации $(A>B) \to (B>C)$ следует $B>C$, то есть $B>43$.
Если $B>45$, то высказывание $B>A$ истинно, но $C>B$ невозможно, так как $43>B>45$. Следовательно, $B>45$ невозможно.
Таким образом, $43<B<45$. Единственное целое число, удовлетворяющее этому неравенству, — 44.
Где здесь ошибаются
Забывают, что импликация ограничивает значение только при истинности её условия.
Не учитывают условие $A \ne B$ и записывают $B=45$.