Question

离散数学问题，图中的第四题，请求详细解答

Answer 1

∀x∀y((F(x,y)∧F(y,x))→G(x,y))
⇔∀x∀y(¬(F(x,y)∧F(y,x))∨G(y,x))蕴含表达式
⇔∀x∀y((¬F(x,y)∨¬F(y,x))∨G(y,x)) 德摩根定律
⇔∀x∀y(¬F(x,y)∨¬F(y,x)∨G(y,x)) 结合律
⇔∀x∀y(（¬F(x,y)∨G(y,x))∨¬F(y,x)) 交换律 结合律
⇔∀x∀y(¬(F(x,y)∧¬G(y,x))∨¬F(y,x)) 德摩根定律
⇔∀x∀y((F(x,y)∧¬G(y,x))→¬F(y,x)) 蕴含表达式

Answer 2

很简单啊，自己把书上的例题看看就会了