有效式: (1)必然p→p(□p→p) (2)p→可能p(p→◇p) (3)必然非p→非p(口→p→p) (4)非p→可能非p(→p→◇→p)
• 有效式： • （1）必然p→p （□p → p） • （2）p→可能p （p→ ◇p） • （3）必然非p→非p （ □¬p →¬p） • （4）非p→可能非p （ ¬p → ◇¬p）
、模态三段论 什么是模态三段论? 模态三段论就是以模态命题为前提或 结论的三段论。也可以说模态三段论就 是在三段论系统中引入模态词所构成的 三段论。 这里只介绍四种比较简单的模态三段论:
三、模态三段论 • 什么是模态三段论？ • 模态三段论就是以模态命题为前提或 结论的三段论。也可以说模态三段论就 是在三段论系统中引入模态词所构成的 三段论。 • 这里只介绍四种比较简单的模态三段论：