摘要: 考纲 2024助教占测版 Chapter 1 自然语言命题 什么是命题? 具有 确定的真或假含义 的 陈述句 是命题,并且是 简单命题、原子命题 由 逻辑联结词 联结命题形成的陈述语句是命题,并且是 复合命题 由 量词 约束命题形成的陈述语句是命题,并且是 量化命题 悖论语句 不是命题 命题形式 不 阅读全文
posted @ 2024-03-01 21:47 fallqs 阅读(596) 评论(0) 推荐(1) 编辑
摘要: 一种真值表题目的构造方法 画空白表,写出pqr三列 写整个公式\(F\)的表列,现在不知道\(F\)是什么,所以随便写 选最后一步运算是什么,随便选,假设是\(F=L\Delta R\) 根据\(F\)的表列和\(\Delta\),写\(L,R\)的表列,当然,这时仍有一些地方可以随便搞 对\(L, 阅读全文
posted @ 2024-08-25 08:50 fallqs 阅读(2) 评论(0) 推荐(0) 编辑
摘要: 怎样翻译数学语言 省流:遇到\(\forall\)用\(\rightarrow\),遇到\(\exists\)用\(\land\) 首先注意到恒等变换 \[\forall xF(x) \Leftrightarrow \forall(x\in X)F(x)\land \forall(x\not\in 阅读全文
posted @ 2024-06-16 16:09 fallqs 阅读(383) 评论(1) 推荐(1) 编辑
摘要: 证明技巧:思路图 使用公理系统时,证明的「构思过程」与证明的「书写过程」大相径庭。思考过程往往从最后一步开始,逐步规约。来看两个例子 传递律的证明 \[A\rightarrow B, B\rightarrow C\vdash A\rightarrow C \] Thinking & Writing. 阅读全文
posted @ 2024-05-30 10:24 fallqs 阅读(233) 评论(0) 推荐(0) 编辑
摘要: T1 证明\(\neg A\rightarrow B, \neg A\rightarrow \neg B \vdash A\) 可用定理:\(\vdash (\neg A\rightarrow A)\rightarrow A\) Proof \[\begin{aligned} A_1:\quad & 阅读全文
posted @ 2024-05-30 10:06 fallqs 阅读(218) 评论(0) 推荐(0) 编辑
摘要: 请为一切不真实之物感到骄傲,因为我们高于这个世界! “请不要说出如此缺乏想象力的话,梅姬斯图斯卿。幽夜净土当然是夜鸦的国度。”说着,尊贵的书记官奥兹华尔多·赫芙那梵茵斯为一行人打开了礼堂的大门。在礼堂的中央,无数夜鸦的环绕簇拥下,断罪的皇女菲谢尔·冯·露弗施洛斯·那菲多特庄严宣告:“欢愉吧,我的子民 阅读全文
posted @ 2024-05-30 09:09 fallqs 阅读(107) 评论(0) 推荐(0) 编辑
摘要: T1 用演绎定理证明 \[\vdash (P\rightarrow(Q\rightarrow R))\rightarrow(Q\rightarrow(P\rightarrow R)) \]然后将其转化为普通证明 T2(Optinal) 试证明课本4.5, 4.6节的各定理 阅读全文
posted @ 2024-05-23 09:57 fallqs 阅读(73) 评论(0) 推荐(0) 编辑
摘要: 仿照 Week 11 Problems 中的例题,完成题目 T1 画出课本定理4.6.3的证明构造过程 \[\vdash \forall xP(x) \rightarrow \exists xP(x) \]T2 画出课本定理4.6.12的证明构造过程 \[\forall x(P(x)\rightar 阅读全文
posted @ 2024-05-16 08:04 fallqs 阅读(61) 评论(0) 推荐(0) 编辑
摘要: 仿照如下课本定理4.5.36的证明构造,完成题目 T1 画出课本定理4.5.16的证明构造过程 \[\vdash (\neg Q\rightarrow Q)\rightarrow(R\rightarrow Q) \]T2 画出Peirce定理的证明构造过程 \[\vdash ((A\rightarr 阅读全文
posted @ 2024-05-06 09:56 fallqs 阅读(80) 评论(0) 推荐(0) 编辑
摘要: 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 阅读(191) 评论(0) 推荐(0) 编辑
摘要: T1 用等值演算、构造指派等方式判断公式的永真性 (1) \[(\forall xP(x)\rightarrow \exist xQ(x))\rightarrow\exist x (P(x)\rightarrow Q(x) ) \] (2) \[(\forall x P(x)\rightarrow 阅读全文
posted @ 2024-04-25 10:50 fallqs 阅读(61) 评论(0) 推荐(0) 编辑