APP 現(xiàn)代邏輯中的一種判定方法,它能用于判定推理是否有效。先假設(shè)所要判定的推理的前提真,且結(jié)論假;根據(jù)這個(gè)假設(shè),給推理形式中的每個(gè)命題變項(xiàng)賦值,使之滿足前提真且結(jié)論假。在這樣的賦值中,如果出現(xiàn)邏輯矛盾,則說(shuō)明前提真而結(jié) （本文共 473 字 ） [閱讀本文] >>
海量資源，盡在掌握
現(xiàn)代邏輯中的一種判定方法,它能用于判定推理是否有效。先假設(shè)所要判定的推理的前提真,且結(jié)論假;根據(jù)這個(gè)假設(shè),給推理形式中的每個(gè)命題變項(xiàng)賦值,使之滿足前提真且結(jié)論假。在這樣的賦值中,如果出現(xiàn)邏輯矛盾,則說(shuō)明前提真而結(jié) （本文共 473 字 ） [閱讀本文] >>
說(shuō)明： 本文檔由創(chuàng)作者上傳發(fā)布，版權(quán)歸屬創(chuàng)作者。若內(nèi)容存在侵權(quán)，請(qǐng)點(diǎn)擊申訴舉報(bào)
