2023年5月28日
命题逻辑那些事 | 2. 主析(合)取范式
摘要： 命题逻辑那些事 | 2. 主析(合)取范式 一、必要概念 简单X取式 简单析取式、简单合取式，说白了就是不知道这个简单是个啥？ 简单就是有限 你可以说是公式的长度有限，或者公式包含的命题变项有限，反正就是有限 当然，还都得是析(合)取联结词 这个概念有啥用吗？大抵是没啥用罢。 X取范式 析取范式、合取范式，这个范，又从何说起？ 打个比方： \ 阅读全文
posted @ 2023-05-28 03:58 IronRoc 阅读(3397) 评论(0) 推荐(0)