Оцените правильность утверждения своего варианта исходя из здравого смысла (с позиций формальной логики)

Первое утверждение – строгая дизъюнкция. Истинность строгой дизъюнкции зависит от разницы между простыми суждениями: дизъюнкты должны быть с разным значением. Они – разные, значит, умозаключение верное .
Выдели простые суждения: «Многоугольники бывают либо выпуклыми (р), либо вогнутыми (q) (строгая дизъюнкция). Таким образом, когда многоугольник не выпуклый (р), он вогнутый (q) (имликация)».
Формула: (р ≠ q) → (p → q).
Таблица истинности:
Порядок действий→ 1 3 2
р q p (р ≠ q) → (p → q)
и и л л и и
и л л и и и
л и и и и и
л л и л и л
Первоначальный вывод был верным: согласно результирующему столбцу (№ 3), мы видим, что формула является тождественно-истинной, следовательно, имеет место быть логическое следование, т.е