自从Zadeh于1965年在Information and Control上发表了著名论文"Fuzzy sets",模糊集理论已经在越来越多的具体领域,比如：模式识别......

本文提出了一种由前束析（合）取范式求前束合（析）取范式的简单方法。该方法根据谓词逻辑自身的特点，结合命题逻辑中命题公式的主析取范式......

《离散数学》谓词逻辑中前柬范式的求解一直是一个难点。对前柬范式求解步骤进行分析和总结，对两种换名规则和换名情况进行分类和研......

<正> 在数学分析教学中,使学生正确地掌握数学命题的否定,进而会运用反证法并会论证某一对象不满足某一定义,是很基本而重要的.例......

以（→，∽）为连词完全集的一阶逻辑前不范式定理是由４个等值式得到的。对于４个等值式，本文得到了它们之间的一个基本关系；同时，利用不带等词......