问答题
A(x) 是永真式。
试证明:(∃x)(P(x)∧R(x))⇒(∃x)P(x)∧(∃x)R(x)。
问答题试证明:(∃x)(P(x)∧R(x))⇒(∃x)P(x)∧(∃x)R(x)。
试证明:(P→(Q∨¬R))∧¬P∧Q 与¬(P∨¬Q)等价。
问答题试证明:(P→(Q∨¬R))∧¬P∧Q 与¬(P∨¬Q)等价。
设A 是传递集,证明A+也是传递集。
问答题设A 是传递集,证明A+也是传递集。