数理逻辑中范式推算的程序化研究与实现

  • 打印
  • 收藏
收藏成功
微博 QQ空间 微信


打开文本图片集

摘要：文章介绍了离散数学中数理逻辑问题与命题公式的转换，并详细解释命题公式的主析取范式与主合取范式求解过程，联系其与计算机编程的关系。最后，通过具体的例题，给出了求解主析取（合取）范式的具体步骤和编程测试结果。以此说明了主析取（合取）范式在解决数理逻辑问题中的具体用法，也证明了用编程代码实现自动化求解的可行性。（剩余3407字）

试读结束

目录
monitor