充分条件假言判断
充分条件假言判断断定某一对象情况的存在是另一对象情况存在的充分条件的一种假言判断，即断定前件对象情况p与后件对象情况q具有充分条件关系。前、后件对象情况p与q的充分条件关系是： 有p必有q，无p不一定无q。如：“如果患急性肠炎，那么就会腹泻”。自然语言中，语词“如果，那么”、“只要，就”、“当，便”、“假如，就”等通常表示充分条件关系。为了避免歧义，形式逻辑规定用“如果，那么”代表充分条件联结词，只表示对象情况间的充分条件关系。充分条件假言判断的一般形式结构为：“如果p，那么q”。充分条件假言判断的真值依赖前、后件的真值，其逻辑性质为： 当前件真后件真，或前件假后件真，或前件假后件假时，该判断是真的； 只有当前件真后件假时，该判断才假。
|