#реал_против_виртуала
Читаю учебник по логике. Первое издание было в 1982 году, последняя редакция - 2007г. Тут такие перлы, что ой-ой-ой!

В отрицающем модусе посылка, выраженная категорическим суждением, отрицает истинность следствия условной посылки, а заключение отрицает истинность основания. Рассуждение направлено от отрицания истинности следствия к отрицанию истинности основания.

По приведённым дальше в тексте примерам можно понять смысл, только вот примеры не везде есть. :)