锥形式相关论文
本文对析取范式的结构作了结构分析，得出了如下结果；在恰当由ｎ个确定的例题变元所可能构成的一切析取范式中，含均覆盖的析取范式的比例......
【正】伟大的革命导师列宁创造性地发展了马克思主义，创立了列宁主义，指导了俄国和世界的无产阶级革命，同时也指导了科学的发展。列宁......
<正> 新建设第八期发表了一兵先生的“形式逻辑和客观真理”一文。一兵先生坚决地主张形式逻辑“只管思推形式的正确性,而不管思......
定义了一种既永真又易于识别的析取范式－锥形式，用它对析取范式的结构进行了分析，得出如下结果：在由ｎ个确定的例题变元所可能构成的一切......
本文考虑具有优先代表资格的ＮＰ完全问题－－析取范式永真性的判定问题，从构造的角度对析取范式作了分析，得出如下结果：在由ｎ个确定的命题变元......
