Задача формулируется так: "Среди следующих высказываний указать истинные:
а) если

является корнем уравнения

то

- корень уравнения

б) если

- действительные корни уравнения

то

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