Пример.
А | B | A → B |
Число 12 делится на 6 | Число 12 делится на 3 | Если число 12 делится на 6, то оно делится на 3 |
Три прямые попарно пересекаются | У трех прямых есть общая точка | Если три прямые попарно пересекаются, то у них есть общая точка |
Последовательность ограничена | Последовательность имеет предельную точку | Если последовательность ограничена, то она имеет предельную точку |
В треугольнике АВС угол А острый | В треугольнике АВС угол В острый | Если в треугольнике АВС угол А, то угол В тоже острый |
Робин Гуд - разбойник | Робин Гуд - добрый | Робин Гуд был разбойником, только если он был добрым |