Отрицание предшествующего

Отрицание предшествующего является формальной ошибкой вывода обратного из исходного утверждения.
Это разновидность смешанного гипотетического силлогизма.
Аргументы такой формы недопустимы, даже если их предпосылки верны.
Название, отрицающее антецедент, происходит от посылки «not P», которая отрицает предложение «if» условной посылки.
Один из способов продемонстрировать несостоятельность этой формы аргументации — привести пример с истинными предпосылками, но заведомо ложным выводом.
В повседневном дискурсе такие случаи редки и обычно возникают только тогда, когда предпосылка «если-то» на самом деле является утверждением «если и только если».

Полный текст статьи:

Отрицание антецедента — Википедия