重言度论文

命题逻辑中公式的Γ蕴涵真度及相对Γ-重言度理论
论文摘要众所周知,数理逻辑的特点在于符号化和形式化,它和计算数学有着截然不同的风格。前者注重形式推理而后者注重数值计算;前者强调严格论证而后者允许近似求解。王国俊教授从基本概念...