数理逻辑论证形式有效性算法

• 作者: 刘巧云
• 来源期刊: 理论数学
• 学科: 教育
• 关键词: 论证形式有效性 真值表 重言式 推理规则
• 年，卷（期）: 2019,（3）
• 页码范围: 276-281
• 页数: 6页
• 分类号: G6

摘要

本文讨论了数理逻辑中论证形式有效性的四种判断方法并给出了一种判断有效性的计算机算法。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘巧云		4	1	1.0	1.0