Задача формулируется так: "Среди следующих высказываний указать истинные:
а) если
является корнем уравнения
то
- корень уравнения
б) если
- действительные корни уравнения
то
".
Мне представляется, что оба высказывания истинны, потому что их посылки ложны. Причём посылкой во втором случае является конъюнкция двух высказываний: "Уравнение ... имеет действительные корни" (ложное высказывание), "... - действительные корни уравнения ..." (высказывание, истинность или ложность которого в данном случае не важна).
В первом же случае посылкой является высказывание: "Число ... является корнем уравнения ...", ложность которого проверяется подстановкой.
Правильно ли я понимаю, или нужно рассуждать иначе?