?
直言判斷是簡單判斷。復合判斷是簡單判斷的組合。
基本的復合判斷包括假言判斷、聯言判斷、選言判斷和負判斷。
假言判斷:對條件關系的判斷。條件關系分為三種:充分條件、必要條件和充分必要條件。
充分條件假言判斷(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)
聯言判斷:對同時存在的判斷。
p 并且q;不僅p ,而且q;雖然p ,但是q;既p ,又q等。邏輯式:C=p&&q
選言判斷:對至少存在其一情況的判斷。分為相容選言判斷和不相容選言判斷。
相容選言判斷:p 或者q。至少有一真,也可以都真。邏輯式:C=p||q
不相容選言判斷:要么p ,要么q。只有一個是真的。邏輯式:C=(p!=q)
負判斷:否定一個判斷。
并非p。邏輯式:C=!p
本人的最新博客遷移到http://thinkinside.tk,使用GitHub Pages建立。我會陸續將所寫的文章遷移過去,并進行補充和修正,
歡迎過來圍觀。