?
直言判斷是簡(jiǎn)單判斷。復(fù)合判斷是簡(jiǎn)單判斷的組合。
基本的復(fù)合判斷包括假言判斷、聯(lián)言判斷、選言判斷和負(fù)判斷。
假言判斷:對(duì)條件關(guān)系的判斷。條件關(guān)系分為三種:充分條件、必要條件和充分必要條件。
充分條件假言判斷(p=>q):如果p ,那么q;只要p ,就q;一旦p ,則q等。邏輯式:C=p||(q&&!p)
必要條件假言判斷(q=>p):只有p ,才q;除非p ,否則不q等。邏輯式:C=p||(!p&&!q)
充分必要條件假言判斷(p<=>q)。邏輯式:C=(p&&q)||(!p&&!q)
聯(lián)言判斷:對(duì)同時(shí)存在的判斷。
p 并且q;不僅p ,而且q;雖然p ,但是q;既p ,又q等。邏輯式:C=p&&q
選言判斷:對(duì)至少存在其一情況的判斷。分為相容選言判斷和不相容選言判斷。
相容選言判斷:p 或者q。至少有一真,也可以都真。邏輯式:C=p||q
不相容選言判斷:要么p ,要么q。只有一個(gè)是真的。邏輯式:C=(p!=q)
負(fù)判斷:否定一個(gè)判斷。
并非p。邏輯式:C=!p
本人的最新博客遷移到http://thinkinside.tk,使用GitHub Pages建立。
我會(huì)陸續(xù)將所寫的文章遷移過(guò)去,并進(jìn)行補(bǔ)充和修正,
歡迎過(guò)來(lái)圍觀。