Contrary (logic)


contrary is a relation.