#个体词谓词量词# 相关文档
-
主要内容一阶逻辑命题符号化个体词谓词量词一阶逻辑....ppt
主要内容一阶逻辑命题符号化 个体词谓词量词 一阶逻辑命题符号化一阶逻辑公式及其解释 一阶语言 合式公式 合式公式的解释 永真式矛盾式可满足式第四章 一阶逻辑基本概念 一阶逻辑命题符号化 个体词——所研究对象中可以独立存在的具体或抽象的客体 个体常项：具体的事务用a b c表示 个体变项：抽象的事物用x y z表示 个体域(论域)—
日期：2022-04-25 格式：.pptx 页数：30页 大小：436.5KB 发布：
- 1
- 1/1页
客服
顶部