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