03 2024 档案

Week 5 Problems
摘要：T5 判断对错：任意命题合式公式可以等价转化为复杂度不超过二的形式 T6 (2)今有一命题逻辑合式公式\(F_2\)为 \[(P\rightarrow R)\rightarrow ((Q\rightarrow R) \rightarrow (P\lor Q)\land \neg R) \]根据Wee 阅读全文
posted @ 2024-03-26 11:38 fallqs 阅读(173) 评论(0) 推荐(1)
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 阅读(227) 评论(0) 推荐(1)
Week 4 Problems
摘要：T1 利用真值指派讨论证明形如\(Q\rightarrow(R\rightarrow Q)\)的命题逻辑合式公式是永真式 T2 证明公式集合\(\Gamma\)不可满足当且仅当\(\Gamma \models 0\) T3 设\(\Gamma_1, \Gamma_2\)是公式集合，\(B\)是公式。 阅读全文
posted @ 2024-03-20 12:05 fallqs 阅读(136) 评论(0) 推荐(0)
Week 3 Problems
摘要：T1 判断以下说法正误 “比目鱼有两只眼睛。”是命题 “y目鱼有四只眼睛。”是命题 “这句话是假的。”是命题 “如果比目鱼有两只眼睛，那么独角兽有两只角。”是命题 “抛开事实不谈，比目鱼难道不是只有两只眼睛吗？”是命题 T2 以下诗句和解释是\(P\rightarrow (Q\rightarrow 阅读全文
posted @ 2024-03-13 14:54 fallqs 阅读(151) 评论(0) 推荐(0)
Week 2 Problems
摘要：T1 代换式、替换式 求代换式\((P\rightarrow(P\rightarrow Q))[P/P\rightarrow R]\) 求替换式\((P\lor R \rightarrow P\lor R\land S)[(P\lor R)/(P\land R)]\) 已知\(P,Q,R,S\)是命 阅读全文
posted @ 2024-03-06 14:13 fallqs 阅读(306) 评论(0) 推荐(0)
考纲（确信）
摘要：考纲 2024助教占测版 Chapter 1 自然语言命题 什么是命题？ 具有 确定的真或假含义 的 陈述句 是命题，并且是 简单命题、原子命题 由 逻辑联结词 联结命题形成的陈述语句是命题，并且是 复合命题 由 量词 约束命题形成的陈述语句是命题，并且是 量化命题 悖论语句 不是命题 命题形式 不 阅读全文
posted @ 2024-03-01 21:47 fallqs 阅读(805) 评论(0) 推荐(1)
Week 1 Problems
摘要：T1 今有一逻辑表达式\(F_0\)为： \[(p\rightarrow r)\rightarrow ((q\rightarrow r) \rightarrow (p\lor q)\land \neg r) \]其中的联结词运算优先级与命题逻辑合式公式完全相同。观察\(F_0\)的形式，完成以下两个 阅读全文
posted @ 2024-03-01 21:44 fallqs 阅读(298) 评论(0) 推荐(0)