Similar to 対偶論法

Propositional calculus

Tautology (logic)

Truth table

Intermediate logic

Logical connective