Мы сделаем мелочь: заменим выражение «из
![$A$ $A$](https://dxdy-02.korotkov.co.uk/f/5/3/d/53d147e7f3fe6e47ee05b88b166bd3f682.png)
следует
![$B$ $B$](https://dxdy-03.korotkov.co.uk/f/6/1/e/61e84f854bc6258d4108d08d4c4a085282.png)
» на «если
![$A$ $A$](https://dxdy-02.korotkov.co.uk/f/5/3/d/53d147e7f3fe6e47ee05b88b166bd3f682.png)
, то
![$B$ $B$](https://dxdy-03.korotkov.co.uk/f/6/1/e/61e84f854bc6258d4108d08d4c4a085282.png)
».
Результат: нам больше не кажется, что
![$A$ $A$](https://dxdy-02.korotkov.co.uk/f/5/3/d/53d147e7f3fe6e47ee05b88b166bd3f682.png)
является в каком-то смысле причиной для
![$B$ $B$](https://dxdy-03.korotkov.co.uk/f/6/1/e/61e84f854bc6258d4108d08d4c4a085282.png)
. Возможно, просто игра случая или чей-то произвольный выбор таковы, что при
![$A$ $A$](https://dxdy-02.korotkov.co.uk/f/5/3/d/53d147e7f3fe6e47ee05b88b166bd3f682.png)
всегда и
![$B$ $B$](https://dxdy-03.korotkov.co.uk/f/6/1/e/61e84f854bc6258d4108d08d4c4a085282.png)
.
Например, мимо моего дома проходят маршруты троллейбусов с номерами
![$2,8,38$ $2,8,38$](https://dxdy-01.korotkov.co.uk/f/c/3/7/c3723aa2953c176119e2b6509178d76482.png)
и автобусов с номерами
![$45,217,288$ $45,217,288$](https://dxdy-04.korotkov.co.uk/f/b/e/f/bef69b86ff28678822ba75c802860f7682.png)
. Верно утверждение: если то, что проезжает, является троллейбусом (
![$A$ $A$](https://dxdy-02.korotkov.co.uk/f/5/3/d/53d147e7f3fe6e47ee05b88b166bd3f682.png)
), то его номер четный (
![$B$ $B$](https://dxdy-03.korotkov.co.uk/f/6/1/e/61e84f854bc6258d4108d08d4c4a085282.png)
).
Допустим, я с кем-то заключаю пари, утверждая, что
![$A\to B$ $A\to B$](https://dxdy-03.korotkov.co.uk/f/6/e/d/6edc8a876728a5e3fcd408de719f28fc82.png)
(если проедет троллейбус, то номер его маршрута будет четным).
Появляется троллейбус номер
![$8$ $8$](https://dxdy-01.korotkov.co.uk/f/0/0/5/005c128d6e551735fa5d938e44e7a61382.png)
. Здесь истинны и
![$A$ $A$](https://dxdy-02.korotkov.co.uk/f/5/3/d/53d147e7f3fe6e47ee05b88b166bd3f682.png)
, и
![$B$ $B$](https://dxdy-03.korotkov.co.uk/f/6/1/e/61e84f854bc6258d4108d08d4c4a085282.png)
, всё в порядке.
Появляется автобус номер
![$217$ $217$](https://dxdy-04.korotkov.co.uk/f/f/2/4/f241804ae64721f2e030ef9a338194b882.png)
. Здесь
![$A$ $A$](https://dxdy-02.korotkov.co.uk/f/5/3/d/53d147e7f3fe6e47ee05b88b166bd3f682.png)
ложно,
![$B$ $B$](https://dxdy-03.korotkov.co.uk/f/6/1/e/61e84f854bc6258d4108d08d4c4a085282.png)
ложно, всё в порядке.
Появляется автобус номер
![$288$ $288$](https://dxdy-03.korotkov.co.uk/f/a/4/b/a4be4428cbdeff771d994a2b6432eeb382.png)
. Здесь
![$A$ $A$](https://dxdy-02.korotkov.co.uk/f/5/3/d/53d147e7f3fe6e47ee05b88b166bd3f682.png)
ложно,
![$B$ $B$](https://dxdy-03.korotkov.co.uk/f/6/1/e/61e84f854bc6258d4108d08d4c4a085282.png)
истинно (Ваш случай!). И тоже всё в порядке, моё утверждение остаётся в силе.
И только в ситуации «
![$A$ $A$](https://dxdy-02.korotkov.co.uk/f/5/3/d/53d147e7f3fe6e47ee05b88b166bd3f682.png)
истинно,
![$B$ $B$](https://dxdy-03.korotkov.co.uk/f/6/1/e/61e84f854bc6258d4108d08d4c4a085282.png)
ложно» я проиграю. Это, например, если троллейбус будет иметь номер
![$3$ $3$](https://dxdy-02.korotkov.co.uk/f/5/d/c/5dc642f297e291cfdde8982599601d7e82.png)
.