命题逻辑中的集合表示

• 作者: 徐凤生
• 来源期刊: 计算机与现代化
• 学科: 数学
• 关键词: 命题逻辑 主析取范式 主合取范式
• 年，卷（期）: 2005,（5）
• 页码范围: 4-6
• 页数: 3页
• 分类号: O141
• 字数: 3311字
• 语种: 中文
• DOI: 10.3969/j.issn.1006-2475.2005.05.002

摘要

讨论了命题逻辑中的集合表示,给出了一系列重要结论,并通过实例说明了基于集合的交、并和差运算求命题公式主范式和进行逻辑推理的方法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	徐凤生	德州学院计算机系	101	583	13.0	19.0