笔果题库
离散数学
免费题库
搜题找答案,就上笔果题库
设P:明天下雪,Q:我去滑雪,R:我在家里读书,S:我在家里看电视。则“若明天下雪,我去滑雪,否则就在家里读书或者看电视”表示为_____________________________。
搜题找答案,就上笔果题库
设S(x):x是人,G(x):x会思考,则命题“人都会思考”可符号化为___________。
搜题找答案,就上笔果题库
设论域是全体人类,F(x):x能呼吸,要求只能使用存在量词,命题“所有人都能呼吸”可符号化为_________。
搜题找答案,就上笔果题库
含有n个命题变元的命题公式,共有_________组指派。
搜题找答案,就上笔果题库
命题公式(P→(Q⋀R))的成真指派为___________,成假指派为______________。
搜题找答案,就上笔果题库
(P⟺ (Q→R))不是合式公式,原因是__________________。
搜题找答案,就上笔果题库
设论域为整数集,命题∀x∃y(x-y=6)的真值为______________。
搜题找答案,就上笔果题库
命题公式P⋁Q⋁¬R的成假赋值为______________。
搜题找答案,就上笔果题库
请用联结词表示联结词⋀和联结词→:_____________,_____________。
搜题找答案,就上笔果题库
命题公式¬(P⋀Q)→R的主析取范式中含极小项的个数是______。