离散数学问题: 用真值表来证明这个问题

若a为奇数,则a不能被2整除.若a为偶数,则a能被2整除.因此若a为偶数,则a不是奇数。

如何写出来呢?

第1个回答  2010-03-25
设f(x)=x为奇数;g(x)=x为偶数;
h(x)=x能被2整除;
已知条件转化为逻辑命题就是:g(a)蕴含h(a),f(a)蕴含非h(a);

证明:因为g(a),所以h(a);又f(a)蕴含非h(a),所以f(a)并非h(a)为真,所以非h(a)为真,即h(a)为假;
而之前证明h(a)为真,由排它律知非f(a)为真,即a不是奇数本回答被提问者采纳
第2个回答  2010-03-25
这个问题不需要证明吧

离散数学,可以用真值表求吗?求详细过程
(a∨¬b)→c ⇔ ¬(a∨¬b)∨c 变成 合取析取 ⇔ (¬a∧b)∨c 德摩根定律 ⇔ (¬a∧b∧(¬c∨c))∨((¬a∨a)∧(¬b∨b)∧c) 补项 ⇔ ((¬a∧b∧¬c)∨(¬a∧b∧c))∨((¬a...

离散数学题
p: a是奇数 q: a能被2整除 r: a是偶数 则题中推理可以写成下列公式:((p→¬q)∧(r→q))→(r→¬p)证明方法:1、使用真值表:p q r p→¬q r→q r→¬p ((p→¬q)∧(r→q))→(r→¬p)0 0 0 1 1 1 1 0 0 1 1 0 1 1 0 1 ...

离散数学的问题
用真值表法看 你命题有多少个变元 那就知道有多少个 极小项 极大项 所以例如 你的是 永真式 那主析取范式 就是所有极小项析取 反之 不用说了吧 还有定理:任何公式都有与之等价的主析取范式和主合取范式 我小学没毕业 不知道说得对或者错 希望对你有用吧 ...

离散数学真值表的问题
一、如果p为真,即第二天是晴天;1、如果小朋友去了图书馆(q为真),则他的承诺为真;2、如果小朋友没有去图书馆(q为假),则他的承诺为假;二、如果p为假,即第二天不是晴天,则无论小朋友去不去图书馆,他妈妈都不能说他的承诺是假的,即无论q取值如何,p->q都为真。

离散离散数学,简答题第4题怎么证明?
有两种主要的方法来解决这种问题:1、真值表法;2、等值演算法 1、真值表法 P Q PVQ ~(PVQ) P&Q ~(PVQ)<->(P&Q)0 0 0 1 0 0 0 1 1 0 0 1 1 0 1 0 0 ...

离散数学笔记(1.2)合式公式与真值表
等价(↔): 两个命题同时为真或同时为假时,它们是等价的。 异或(xor): 两个命题真值不同则为真,相同则为假。 通过真值表,我们可以直观地验证命题公式之间的逻辑关系,例如,如何用真值表来证明命题公式 和 是等价的,这正是离散数学的魅力所在,它将抽象的逻辑转化为直观的数值运...

离散数学 逻辑,证明¬(P↔ Q)和P↔ ¬Q逻辑等价
用真值表穷举证明,就可以了吧 离散数学 逻辑,证明 ¬(P↔Q)和 P↔¬Q逻辑等价,(条件?:当p与q有相反的真值时,P↔¬Q两边恰好都为真,就是说p=1,Q=0)这种条件下,显然,¬(P↔Q)=1 P↔¬Q=1 逻辑定价 如果,p=0,q=1 ¬(P↔Q)=1 P&...

离散数学中怎样利用真值表计算主合取范式
首先要知道命题公式中有几个命题变项,比如n个。其次,找出成假赋值,换算成n位十进制数i,以此作为下标的极大项Mi的合取即为所求的主合取范式。例如:命题公式p∨q→r,成假赋值是010,100,110,所以主合取范式是M2∧M4∧M6

离散数学范式问题,急,求详解
1 1 0 0 1 0 1 1 1 公式┐(q→┐p) ∧┐p 从真值表中看出 其真值为0所对应大项编码有M00,M01,M10,M11所以与 ┐(q→┐p) ∧┐p 等价的主合取范式为M00∧M01∧M10∧M11=∏(0,1,2,3);公式(┐p→q )→(┐q∨p)从真值表中看出其真值为1的小项有...

离散数学 及 其应用中的一个问题,求大神来给我解释下
对变量X,Y,Z的每一中使复合命题P成真,也就是使P=1的组合,比如我们这个真值表里,使P=1的组合有:X=0,Y=0,Z=0 X=0,Y=1,Z=0 X=0,Y=1,Z=1 X=1,Y=0,Z=0 X=1,Y=0,Z=1 用变量X,Y,Z或者它们的否定¬X,¬Y,¬Z做合取,比如:对于X=0,...

相似回答