用等值演算法证明：p->(q->p)非p->(p->非q)

虚静山中 1年前已收到1个回答举报

teency 幼苗

共回答了19个问题采纳率：94.7% 举报

p -> ( q -> p )
p V ( q V p )
( p ) V ( q ) V p
p V ( p ) V ( q )
p V ( p V q )
p V ( p -> q )
p -> ( p -> q)

1年前

可能相似的问题

关于离散数学,适用等值演算证明下列等值式,求教!

1年前1个回答
用等值演算法证明下面等值式┐（pq）((pvq)^┐(p^q))

1年前1个回答
离散数学等价等值式公式的证明.等价等值式：B等价(A推B)合取(B推A).怎么证明?注：’代表等价符号.用等值演算法证明

1年前2个回答
用等值演算或真值表证明公式（p→q)∧(p→r)＜＝＞p→(q∧r)

1年前2个回答
用等值演算证明此式为重言式（（￢p∨q）∧（q→r））→（￢p∨r）在线等

1年前1个回答
明天就要上交了,急用,1、用等值演算法证明（（P→Q）∧P）→Q为真2、推理证明前提R→『Q，R∨S，S→『Q，P→Q,

1年前1个回答
1.用等值演算法证明：((p∨q)→r)→p (p∨q∨p)∧( ┐r∨p) 2.证明:a上的关系R1与R2都具有对称性

1年前1个回答
离散数学,等值演算法判断命题公式的类型

1年前1个回答
离散数学用等值演算法判断下列公式的类型.

1年前1个回答
等值演算法对偶式举个实例可以吗?

1年前1个回答
(p∨q)→(p∧r) 等值演算判断公式类型

1年前1个回答
用等值演算求（P→Q）→R的主析取范式

1年前1个回答
等值演算法化简：(p并q)->(p交r)

1年前1个回答
等值演算 p→q→r(p→ q)→(p→r)

1年前2个回答
范式!用等值演算法算出￢q∨p 的主合取范式!

1年前4个回答
麻烦大神看下,用等值演算法判断公式类型,打勾那个,麻烦写下过程

1年前1个回答
离散数学如何用等值演算法求(p∧q)∨r的主析联范式?

1年前1个回答
用等值演算求下面公式的主析取范式（﹁p→Q)→（﹁Q V P）

1年前1个回答
求解释离散数学中两个等值演算工公式如图,用自然语言解释一下第20,24条

1年前1个回答

你能帮帮他们吗

精彩回答