2024年5月3日
Chapter 3 Tutorials
摘要： T1 用等值演算、构造指派等方式判断公式的永真性 (1)判断永真性： \((\forall xP(x)\rightarrow \exist xQ(x))\rightarrow\exist x (P(x)\rightarrow Q(x) )\) 首先尝试转化前束范式 \[\begin{aligned} 阅读全文
posted @ 2024-05-03 10:46 fallqs 阅读(205) 评论(0) 推荐(0) 编辑