c ca cb cc cd ce cf cg ch ci ck cl cm cn co cp cr cs ct cu cw cy cz

Перевод: contraposition

[существительное]
противоположение; антитеза

Тезаурус:

1. We can, as with dependent conditionals, distinguish them from other if statements, specify their logical properties-including contraposition and transitivity-and give their logical relations, notably their relations to dependent conditionals.
2. This kind of indirect proof is called proof by contraposition, being the contrapositive to .