列举复合判断的定义.docVIP

列举各类复合判断的定义、逻辑形式、联结词、真假性质、推理规则、正确推理式 复合判断类型 定义 逻辑形式 联结词 真假性质 推理规则 正确推理式 联言复合判断 就是断定几种事物情况同时存在的判断 p∧q∧R∧S∧T 并且 不但……而且 既…又…… 虽然……但是 一个联言判断要为真,必须是所有的联言支都为真;只要有一个联言支为假时,该联言判断就为假. 根据联言判断的逻辑特性进行推演的推理 P∧Q P(Q) P Q P∧Q 相容选言复合判断 就是断定几个选言支中至少有一个为真并且可以同真的选言判断 PνQνRνS “或者….或者”、 “也许……也许……” 一个真的相容的选言判断，至少有一个选言支所断定的事物情况应存在，只有当全部选言支所断定的事物情况不存在（为假）时，该选言判断才为假。 否定一部分选言支，就要肯定另一部分选言支。 肯定一部分选言支，不能否定另一部分选言支。 否定肯定式 （PνQ）∧┑P→Q （PⅤQ）∧┑Q→P 不相容选言复合判断 断定几个选言支中有并且只有一个为真的选言判断。 要么P，要么Q PúQ “要么……要么……” 一个真的不相容选言判断，至少并且至多有一个选言支真，如果全部选言支所断定的事物情况都真或都假时该选言判断为假。 否定一部分选言支，就要肯定另一部分选言支。 肯定一部分选言支，就要否定另一部分选言支。 否定肯定式 （PúQ）∧ ┑P→Q （PúQ）∧ ┑Q → P 肯定否定式 （PúQ）∧ P→┑Q （PúQ）∧ Q→┑P 充分条件假言复合判断 断定事物情况之间具有充分条件关系的假言判断就是充分条件假言判断 P → Q 如果……就……”，“假若……就……” 一个真的充分条件假言判断，其前件真，后件一定真。其前件假，后件可以真，也可以假。只有当前件真而后件假时，该充分条件假言判断就是假的。 第一，肯定前件就要肯定后件，否定后件就要否定前件。 第二，否定前件不能否定后件，肯定后件不能肯定前件 肯定前件到肯定后件式 （P→Q）∧P→Q 否定后件到否定前件式 （P→Q)∧┑Q→┑P 必要条件假言复合判断 断定事物情况之间具有必要条件关系的假言判断 P←Q “只有……才……”，“除非……才……”。 只有在当前件为假，后件为真时，该必要条件假言判断才为假，其它情况下，都为真 否定前件就要否定后件，肯定后件就要肯定前件。 肯定前件不能肯定后件，否定后件不能否定前件。 否定前件到否定后件 （P←Q）∧┑P→┑Q 肯定后件到肯定前件 （P←Q）∧Q→P 充要条件假言复合判断 断定事物情况之间具有充分必要条件关系的假言判断就是充分必要条件假言判断 P←→Q 当且仅当 只有在当前件为真，而后件为假时，该充分必要条件假言判断才为假。没有前件，而有后件时，该判断也为假。其它情况下，都是为真 第一，肯定前件就要肯定后件，否定后件就要否定前件 第二，否定前件就要否定后件，肯定后件就要肯定前件。 肯定前件式 （P←→Q）∧P →Q 否定后件式到否定前件 （P←→Q∧┑Q→┑P 否定前件到否定后件 （P←→Q）∧┑P→┑Q 肯定前件到肯定后件 （P←→Q）∧P→Q 负判断 负判断就是否定某个判断的判断，又叫判断的否定。 ┑P 并非 一个真的负判断，其支判断应为假，即只有在支判断为假的情况下，负判断才是真的。