對稱關係推理是直接關係推理的一種。根據關係命題所反映的對象之間的對稱關係而進行推演的關係推理。
如果以“R”表示對稱關係,則對稱關係推理可用公式表示為:“aRb,所以,bRa”。例如:“氕不同於氘,所以,氘不同於氕。”對稱關係推理是一種有效推理。如果其前提為真,那么其結論也必然真。
對稱關係推理是直接關係推理的一種。根據關係命題所反映的對象之間的對稱關係而進行推演的關係推理。
對稱關係(symmetrical relation)是一種特殊的關係,指與自身的逆關係完全相同的那種關係。集合A上的二元關係R,對任何a,b∈A,當aRb時有bRa,用符號表示:R是A上的...
對稱關係推理是直接關係推理的一種。根據關係命題所反映的對象之間的對稱關係而進行推演的關係推理。...
純粹關係推理(pure relational inference)是指前提與結論均為關係命題的關係推理。例如“4=22,所以,22=4”。“長江長於黃河,黃河長於珠江,所以,長江長於珠江”。...
直接關係推理( immediate relation inference)從一個關係命題推m另一個關係命題的推理。常見的有以下兩種:(l)對稱性關係推理,即根據對稱性關係而進行推演的關係推理...