当前位置： 首页 > 离散数学(02324)

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

阅读全文

用真值表法证明吸收律。

阅读全文

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

阅读全文

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

阅读全文

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

阅读全文

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

阅读全文

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

阅读全文

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

阅读全文

设P:明天下雪,Q:我去滑雪,R:我在家里读书,S:我在家里看电视。则“若明天下雪,我去滑雪,否则就在家里读书或者看电视”表示为

阅读全文

设S(x):x是人,G(x):x会思考,则命题“人都会思考”可符号化为___________。

阅读全文
1...678910...176