用真值表判定命题公式(P⋀Q)⟷ ¬(P⋁R)的公式类型。

构造下列命题公式的真值表。(1)(p∧(p→q))→q。(2) ¬(p→q) ∧q。(3)(p→q)∧ ¬r。

用等值演算法证明P⋀(P→Q)→Q是重言式。

用真值表法证明吸收律。

证明下列谓词公式为永真式 ∀y(∀xA(x)→A(y))。

证明下列谓词公式为永真式 (∀xF(x)⋁∃yG(y))→(¬∃yG(y)→∀xF(x))

用真值表法判定命题公式(P→(P⋀¬Q))⋁R是否为非重言式的可满足式。

将下面命题符号化,并构造推理证明: 凡大学生都是勤奋的,小明不勤奋,所以小明不是大学生。

将下面命题符号化,并构造推理证明: 所有有理数是实数,有些有理数是整数,所以有些实数是整数。

命题“2是偶数或-3是负数”的否定命题是__________________。