コンバース-ロジック-

逆に、論理的には、主語と述語の相互交換から生じる命題。したがって、「鉛筆は人間ではない」の逆は「鉛筆は人間ではない」です。従来の三段論では、一般的にE（普遍的否定）とI（特に肯定的）の命題のみが有効な逆をもたらします。関係Rの逆は、このような関係Sであり、xは S のy（yはに関係S有するXに）、そして場合だけ、Y R X（xはに関係R有するYが）。関係がその逆と同一である場合、それは対称的です。