Question

离散数学求解 (p→q)∧(q→p)等值(p∨q)→(q∧p),其中p,q多少命题公式。

Answer 1

(p→q)∧(q→p)
<=>(非p∨q)∧(非q∨p) 蕴涵等值式
<=>(非p∧非q)∨(非p∧p)∨(q∧非q)∨(q∧p) 分配律
<=>(非p∧非q)∨(p∧q) 矛盾律 同一律 交换律
<=>非(p∨q)∨(p∧q) 德摩根律
<=>(p∨q)→(p∧q) 蕴涵等值式

Answer 2

囧， p→q当且仅当非p∨q
则(非p∨q)∧(非q∨p)等值于(非p∧非q)∨(p∧q) //交换律
(非p∧非q)∨(p∧q) 等值于 非(p∨q) ∨(p∧q) //德摩根律
非(p∨q) ∨(p∧q) 等值于 (p∨q)→(q∧p)

Answer 3

没有学过，嘿嘿。。数学公式都是最基本演变来的，所以建议你试试最基本的