填空题
M(x):x是人;N(x):x吃饭;则∀x(M(x)→N(x))是语句()的符号化。
所有人吃饭。解释:这个逻辑表达式中,M(x) 表示“x是人”,N(x) 表示“x吃饭”。符号“∀x”表示“对所有的x”,......
(↓↓↓ 点击下方‘点击查看答案’看完整答案 ↓↓↓)
填空题 设置P:瓜是甜的;Q:苹果是香的;R:我买瓜,则命题“如果瓜既甜又香,我就买瓜”符号化为()。
填空题 两个矛盾式的析取是(),两个重言式的合取是()。
单项选择题 平凡图的顶点个数是()。