道义逻辑D-系统的一种布尔值模型

• 作者: 李娜
• 来源期刊: 河南大学学报(自然科学版)
• 学科: 数学
• 关键词: 道义逻辑 布尔值 布尔值模型
• 年，卷（期）: 2002,（2）
• 所属期刊栏目: 数学与信息科学
• 页码范围: 10-13
• 页数: 4页
• 分类号: O144
• 字数: 2396字
• 语种: 中文
• DOI: 10.3969/j.issn.1003-4978.2002.02.002

摘要

本文为道义模态逻辑D-系统建立布尔值模型. 首先定义道义模态公式○α的布尔值‖○α‖;其次证明在该定义下,道义模态逻辑系统D1、D2和D3的所有公理的布尔值为1;最后证明集合论的ZFC公理系统的布尔值模型VB(B是一个完全的布尔代数)也是道义模态逻辑系统D1、D2和D3的布尔值模型.