离散数学命题逻辑推理
(1)若p假,又知p∨非r真,则非r真,即r假.∴r->s真.(2)若p真,且q->s真,又知q真,则s真.∴r->s真.宗上所述:若 p->(q->s), q ,p∨非r,则r->s.
一道 离散数学 推理理论的题目,求助!
你的证明从第二步开始就是错的，p∧q不能直接置换成成q，置换是用等价的公式来替换，p∧q不等价于q。诀窍就是每一步都假设是真的，后面的每一步都是上面一步或者2步推导出的结果。要把基本的等价式和基本蕴涵式背熟。正确的证明：证明：（1）「S∨P P \/\/前提引入 （2）S P ...
简单的离散数学 判断是否是命题
这不就是那个著名的逻辑悖论吗。他还有很多等价的说法：如“我在说谎”、“这是个假命题”等等。正如你所说，这些句子不论判定为真还是判断为假，都会产生矛盾，所以它们不是命题。你的第二个问题：如果在这类句子（记作p）前面加上否定词（即：非p），能否构成命题呢？你可以这样想：如果“非p”...
离散数学的一阶逻辑推理题,题目如下:
B（x）：x是分析的命题；C（x）：x是原则上可以证伪的命题；D（x）：x是宗教命题；我用符号【＠】分别表示【全称量词】；那么：前提：（1）：＠x（A（x）∧￢B（x）→C（x））；（2）：＠x（D（x）→（￢B（x）∧￢C（x））；结论：（0）：＠x（D（x）→￢A（x））；其实，由...
离散数学命题逻辑推理题
前提：┐p→┐q，p→r，┐s∨q 结论：s→r 证明：① s ② ┐s∨q ③ q ④ ┐p→┐q ⑤ ┐┐p ⑥ p ⑦ p→r ⑧ r (每一步理由交给你了)得证。
离散数学中命题逻辑的证明
因为，结论对前提的词项进行了判断，所以，无法简单地用“命题逻辑”进行分析，必须借助于“谓词逻辑”。定义谓词：F(x)：x是花；G(x)：x是草；L(x)：人们都喜欢 x；前提：（1）人们都喜欢花：(Ax)(F(x)→L(x))；【A：表示全称量词】（2）人们都不喜欢草：(Ax)(G(x)→┐L(x))；结...
一个离散数学的逻辑判断问题
显然p,q,r中有且只有一个真命题。甲的判断为A1=┐p∧q 乙的判断为A2=p∧┐q 丙的判断为A3=┐q∧┐r 那么，甲的判断全对 B1=A1=┐p∧q 甲的判断对一半 B2=(┐p∧┐q)∨(p∧q)甲的判断全错 B3=p∧┐q 乙的判断全对 C1=A2=p∧┐q 乙的判断对一半 C2=(p∧q)∨(┐p...
离散数学,命题问题
考虑数学中的一个例子， “如果x>2，则x+1≥3”，显然这个命题对任意实数x均是成立的，但当x分别取值3,2,1时 ，上面命题分别为“如果3>2，则3+1≥3”， “如果2>2，则2+1≥3”， “如果1>2，则1+1≥3”，由此可见，当且仅当P为真，Q为假时，P→Q才为假，其余情况均为真 ...
离散数学命题逻辑
d：小李去；翻译：（1）a∧b；（2）¬c→¬d；解释：除非p，否则q；＝q，除非p；＝只有在p时，才有可能非q，（否则，肯定是q）；＝如果非p，那么q；在英语中：【unless】不就是翻译为【除非…】或者是【如果不…】的吗？这就表示，【除非】和【如果不】是同一个意思。
离散数学,在命题逻辑系统中构造下列推理的形式证明,为啥结论会多了个p...
这是因为前提中存在矛盾，因此为假，假值可以推出任意结论 过程如下：r∨s 前提2 ⇔ (¬r)→s 蕴含表达式 s→¬q 前提1 ¬r→¬q 前提三段论（结合上面两式得到）¬r 前提3 ¬q 假言推理 【1】¬r↔q 前提4 q 等值表达式（结合前提3和...
