基本信息
文件名称：逻辑学逻辑学教程Lecture 2说明书用户手册.pdf
文件大小：53.31 KB
总页数：4 页
更新时间：2026-04-01
总字数：约1.83千字
文档摘要
Lecture2:有效性
熊明
1学习目标
(1)熟悉各种有效性概念
(2)会判断公式的有效性
(3)会构造反模型
(4)初步了解模态公式与关系特性的对应
2引导问题
(1)什么是模型有效，什么是模型类有效？
(2)什么是框架有效，什么是框架类有效？
(3)如何判定公式的有效性？
(4)什么叫做保持有效性？
(5)什么叫反模型？
(6)关系的?返、传递、