排序方式: 共有3条查询结果,搜索用时 15 毫秒
1
1.
孙明湘 《湖南科技大学学报(自然科学版)》1998,(2)
对关系语义学的基本概念可能世界、可通关系、赋值函数、个体域作了简要分析,并运用模型〈W,R,V,D〉对必然命题、可能命题作出明确的语义定义,在此基础上又根据可通关系R的不同性质对模态逻辑系统S5、QS5等的有效性作了必要的证明通过这些分析和证明,较具体地阐述了关系语义学的基本内容和操作方法图3,参4 相似文献
2.
3.
孙明湘 《吉首大学学报(自然科学版)》1997,18(4):40-43
本文就G·弗雷格为构建一阶逻辑语言,把数学概念“函项”、“主目”、“值”等,通过类比和普遍化方法而用以分析命题的逻辑结构,并用以重建谓词公式的真值函项理论作一简要阐述和分析。 相似文献
1