离散数学 逻辑,证明¬(P↔ Q)和P↔ ¬Q逻辑等价
来源:学生作业帮 编辑:神马作文网作业帮 分类:数学作业 时间:2024/10/01 21:35:30
离散数学 逻辑,证明¬(P↔ Q)和P↔ ¬Q逻辑等价
当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↔ ¬Q=1
也是逻辑等价
这应该只是,解说吧
当P与Q有相反的真值时
P↔ ¬Q
两边恰好都为真
一边是 ¬(P↔ Q)
一边是 P↔ ¬Q
【命题求证】
【¬(P↔ Q) ⇔ P↔ ¬Q】
【用¬和∨ 定义⇔】
1.【P⇔¬(¬P)】
2.【P∧Q ⇔¬(¬P∨¬Q)】
¬P∧¬Q ⇔¬(¬¬P∨¬¬Q)等价
P∨Q⇔
3.【P→Q ⇔ ¬P∨Q】
3.【Q→P ⇔ ¬Q∨P】
P↔Q ⇔
(¬P∨Q)∧(¬Q∨P)⇔
¬[¬(¬P∨Q )∨ ¬(¬Q∨P)]
4.【P↔Q ⇔¬[¬(¬P∨Q )∨ ¬(¬Q∨P)]】
therefore-1
¬(P↔Q)⇔ ¬(¬P∨Q )∨ ¬(¬Q∨P)
置换规则
4.【P↔¬Q ⇔¬[¬(¬P∨¬Q )∨ ¬(Q∨P)]】
休息一下,
再问: 明了!你好认真~好想认识你. 哈哈哈
再答: 没有答好,后面,看来需要认真学习一下数理逻辑,离散数学。把你qq发给我加你,一同学习。
离散数学 逻辑,证明
¬(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↔ ¬Q=1
也是逻辑等价
这应该只是,解说吧
当P与Q有相反的真值时
P↔ ¬Q
两边恰好都为真
一边是 ¬(P↔ Q)
一边是 P↔ ¬Q
【命题求证】
【¬(P↔ Q) ⇔ P↔ ¬Q】
【用¬和∨ 定义⇔】
1.【P⇔¬(¬P)】
2.【P∧Q ⇔¬(¬P∨¬Q)】
¬P∧¬Q ⇔¬(¬¬P∨¬¬Q)等价
P∨Q⇔
3.【P→Q ⇔ ¬P∨Q】
3.【Q→P ⇔ ¬Q∨P】
P↔Q ⇔
(¬P∨Q)∧(¬Q∨P)⇔
¬[¬(¬P∨Q )∨ ¬(¬Q∨P)]
4.【P↔Q ⇔¬[¬(¬P∨Q )∨ ¬(¬Q∨P)]】
therefore-1
¬(P↔Q)⇔ ¬(¬P∨Q )∨ ¬(¬Q∨P)
置换规则
4.【P↔¬Q ⇔¬[¬(¬P∨¬Q )∨ ¬(Q∨P)]】
休息一下,
再问: 明了!你好认真~好想认识你. 哈哈哈
再答: 没有答好,后面,看来需要认真学习一下数理逻辑,离散数学。把你qq发给我加你,一同学习。
离散数学 逻辑,证明¬(P↔ Q)和P↔ ¬Q逻辑等价
试证明PQ,Q逻辑蕴含P(为离散数学中的逻辑联结符号:双条件)
离散数学谓词逻辑问题:(p->∃xq(x)) -> ∃x(p->q) 请证明该式为重言式
离散数学的等价公式中吸收律P∧(P∨Q)=P的证明?不用真值表,
逻辑:“P推出Q” 等同于 “非P或Q”吗?
写一段程序,判断p和q两个逻辑表达式是否逻辑相等
吸收律的证明P∨(P∧Q) 能够逻辑推 不用真值表
有关离散数学P->(Q->P)
逻辑学题1.“p并且q”和“p或者q”这两个逻辑形式,它们( )A.逻辑常项和逻辑变项都相同B.逻辑常项相同但逻辑变项不
离散数学证明:(P→Q)→R=>(P→Q)→(P→R)
离散数学试证明 p→q => p→(p∧q)
公考中的逻辑判断 只要p就q 是p->q,还是q->p呢,我知道只有p才q,是q->p,