问答题
(x)(y)H(x,y)其中H(x,y):x>y,个体域为D={4.2},求真值
问答题(∀x)(∃y)H(x,y)其中H(x,y):x>y,个体域为D={4.2},求真值
(x)p(x)∨(y)Q(y)
问答题(∀x)¬p(x)∨(∀y)Q(y)
(x)(P(x)Q(x))
问答题(∀x)(P(x)↔Q(x))