内容

一阶逻辑在计算机中的作用(计算机逻辑的奠基人是())

计算机逻辑的奠基人是()亚里士多德是传统形式逻辑的奠基人，他创建了范畴表和谓词表，提出了逻辑思维的三大规律(同一律、矛盾律、排中律)，确定了判断的定义和分类，制定了演绎三段