逻辑学逻辑学教程Lecture 2说明书用户手册.pdf

逻辑学逻辑学教程Lecture 2说明书用户手册.pdf

Lecture2:有效性

熊明

1学习目标

(1)熟悉各种有效性概念

(2)会判断公式的有效性

(3)会构造反模型

(4)初步了解模态公式与关系特性的对应

2引导问题

(1)什么是模型有效,什么是模型类有效?

(2)什么是框架有效,什么是框架类有效?

(3)如何判定公式的有效性?

(4)什么叫做保持有效性?

(5)什么叫反模型?

(6)关系的⾃返、传递、

文档评论(0)

1亿VIP精品文档

相关文档