问答题
设公式P(x)→Q(x),其中P(x):x>2,Q(x):x=0,F 是永假式,个体域是{1,2},求公式A(x)的真值?
A(x) 是永真式。
问答题 试证明:(∃x)(P(x)∧R(x))⇒(∃x)P(x)∧(∃x)R(x)。
问答题 试证明:(P→(Q∨¬R))∧¬P∧Q 与¬(P∨¬Q)等价。
问答题 设A 是传递集,证明A+也是传递集。