百科事典

コンバース-ロジック-

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