APP 義務(wù)邏輯是一門研究義務(wù)模態(tài)命題及其推理系統(tǒng)的邏輯學(xué)科。它是哲學(xué)邏輯的一個分支。1926年,麻里(Mally,E.)在《意愿的根本規(guī)律——意愿邏輯綱要》一書中,構(gòu)造了第一個義務(wù)邏輯公理系統(tǒng)。1939年,門格爾(Menger,K.)在三值邏輯的基礎(chǔ)上 （本文共 1104 字 ） [閱讀本文] >>
海量資源，盡在掌握
義務(wù)邏輯是一門研究義務(wù)模態(tài)命題及其推理系統(tǒng)的邏輯學(xué)科。它是哲學(xué)邏輯的一個分支。1926年,麻里(Mally,E.)在《意愿的根本規(guī)律——意愿邏輯綱要》一書中,構(gòu)造了第一個義務(wù)邏輯公理系統(tǒng)。1939年,門格爾(Menger,K.)在三值邏輯的基礎(chǔ)上 （本文共 1104 字 ） [閱讀本文] >>
說明： 本文檔由創(chuàng)作者上傳發(fā)布，版權(quán)歸屬創(chuàng)作者。若內(nèi)容存在侵權(quán)，請點擊申訴舉報
