代入规则相关论文
<正> 孙显元教授《论辩证逻辑的公理》(《浙江社会科学》1992年第2期,以下简称《孙文》)提出“A是‘A又非A’”作为辩证逻辑的公......
命题形式是对命题的抽象,反映了事物或现象间的一般关系,每一命题形式都有确定的意义.这是命题形式的本质所在.逻辑真理分为同语反......
<正> 30多年前,波兰数学家、逻辑学家卢卡西维兹首次用现代逻辑的方法对亚氏三段论进行形式化的研究,并建立了亚氏三段论的形式系......
本文对学界普遍认可的命题逻辑语法完全性问题重新进行分析,认为:命题逻辑的语法完全性在逻辑上是一个关于形式系统和语义模型之间......
