A.100B.1024C.1D.10
填空题M(x):x是人;N(x):x吃饭;则∀x(M(x)→N(x))是语句()的符号化。
填空题设置P:瓜是甜的;Q:苹果是香的;R:我买瓜,则命题“如果瓜既甜又香,我就买瓜”符号化为()。
填空题两个矛盾式的析取是(),两个重言式的合取是()。
单项选择题平凡图的顶点个数是()。
A.4B.3C.2D.1
单项选择题判断命题公式的类型¬(¬Q∨P)∧P是()。
A.永真式B.永假式C.可满足式D.不能确定