• 简体   /   繁体
麦加拉—斯多葛学派逻辑联结词的电路仿真研究-电脑知识与技术2025年20期

麦加拉—斯多葛学派逻辑联结词的电路仿真研究

作者:陈锐 字体:      

摘要:“来克顿”是麦加拉—斯多葛学派用于表达真假判断的复合命题;四个逻辑联结词之间存在互定义关系,并与经典逻辑理论相互映射;实质蕴涵理论推出三真一假共四种条件命题真值形式,实质蕴涵的“前假后真”特性引(试读)...

电脑知识与技术

2025年第20期