摘要：T1 用等值演算、构造指派等方式判断公式的永真性 (1) \[(\forall xP(x)\rightarrow \exist xQ(x))\rightarrow\exist x (P(x)\rightarrow Q(x) ) \] (2) \[(\forall x P(x)\rightarrow 阅读全文

摘要：Chapter 2 Problems T1 利用真值指派讨论证明形如\(Q\rightarrow(R\rightarrow Q)\)的命题逻辑合式公式是永真式 解 对于任意指派函数\(\sigma\)， 若\(\sigma(Q)=0\)，则 \[\begin{aligned} &\sigma\big 阅读全文

摘要：请为一切不真实之物感到骄傲，因为我们高于这个世界！ “请不要说出如此缺乏想象力的话，梅姬斯图斯卿。幽夜净土当然是夜鸦的国度。”说着，尊贵的书记官奥兹华尔多·赫芙那梵茵斯为一行人打开了礼堂的大门。在礼堂的中央，无数夜鸦的环绕簇拥下，断罪的皇女菲谢尔·冯·露弗施洛斯·那菲多特庄严宣告：“欢愉吧，我的子民 阅读全文

摘要：写在完全集题目前 在本节题目中，如果我们说一个命题逻辑合式公式\(F\)定义了一个联结词\(\Delta\)，那么这个公式\(F\)中不能出现\(0,1\)。 尽管为了方便我们在缩写定义等众多其他地方允许使用\(0,1\)，但如果我们允许\(F\)中也出现\(0,1\)，则很多联结词集合的表达能力会 阅读全文