対偶 たいぐうです
taigūdesu

Noun
Desu Copula

The polite form of 対偶

1. Contrapositive.

Polite
Logic