generated at
if and only if
同値
Equivalence relation
Logical biconditional
Logical equality
Logical equivalence
Polysyllogism

googleif and only if
image if and only if
define if and only if
wikipedia if and only if
weblio if and only if
kotobank if and only if
jisho if and only if