2024年3月21日
Chapter 1 Tutorials
摘要： T1 今有一逻辑表达式\(F_0\)为： \[(p\rightarrow r)\rightarrow ((q\rightarrow r) \rightarrow (p\lor q)\land \neg r) \]其中的联结词运算优先级与命题逻辑合式公式完全相同。观察\(F_0\)的形式，完成以下两个 阅读全文
posted @ 2024-03-21 08:57 fallqs 阅读(143) 评论(0) 推荐(1) 编辑