3、根据矛盾关系进行的推理 有效式: (1)必然p→不可能非p(口p→-◇-p) (2)必然非p→不可能p(口→p→-◇p) (3)可能p→不必然非p(◇p→-口-p) (4)可能非p→不必然p(◇→p→-口p) (5)不必然p→可能非p(=p→◇→p) (6)不必然非p→可能p(-口→p→◇p) (7)不可能p→必然非p(◇p→口→p) (8)不可能非p→必然p(→◇→p→>□p• 3、根据矛盾关系进行的推理 • 有效式： • （1）必然p→不可能非p （ □p → ¬◇¬p） • （2）必然非p→不可能p （ □¬p → ¬◇p） • （3）可能p→不必然非p （ ◇p → ¬□¬p） • （4）可能非p→不必然p （ ◇¬p→ ¬□p ） • （5）不必然p→可能非p （ ¬□p → ◇¬p） • （6）不必然非p→可能p （ ¬□¬p → ◇p） • （7）不可能p→必然非p （¬◇p → □¬p ） • （8）不可能非p→必然p （¬◇¬p→ □p ）