modus ponens - исключение исключением, от противного.
When an argument meets both of these standards (valid and true), it is said to be sound. If it fails to meet either one or the other, then it is unsound. Thus, an argument is unsound if it is invalid, and it is also unsound if at least one of its premises is false.