Здравствуйте, Voblin, Вы писали:

V>Словосочетания "отрицание антецедента" и "подтверждение консеквента" для них ничего не значат.

Да в общем-то и не должны значить. По русски это "условие" и "следствие".