Question

离散数学，图片中第六题求解过程，第七题只要答案，在线等，急

Answer 1

第6题
当个体域是{1,2}时
P(1)为真，Q(1)为假，因此P(1)∨Q(1)为真
P(2)为假，Q(1)为真，因此P(2)∨Q(2)为真
因此公式真值为真

当个体域是{0,1,2}时
P(0)为假，Q(0)为假，因此P(0)∨Q(0)为假
因此公式真值为假（只要找到一个为假，就为假）

第7题
(¬(∃xA(x))∨∀yB(y))∧(A(a)→∀zC(z))
⇔(∀x¬A(x)∨∀yB(y))∧(∀aA(a)→∀zC(z))
⇔∀x∀y(¬A(x)∨B(y))∧(∀aA(a)→∀zC(z))
⇔∀x∀y(¬A(x)∨B(y))∧∀a(A(a)→∀zC(z))
⇔∀x∀y(¬A(x)∨B(y))∧∀a∀z(A(a)→C(z))
⇔∀x∀y∀a∀z((¬A(x)∨B(y))∧(A(a)→C(z)))