【判断题】
在三个变元的命题公式中,如果其主析取范式中所含小项的角标为1,2,4,5,6,则其主合取范式中所含大项的角标必定为0,3,7。
【判断题】
“有的人活百岁以上”,设论域为人类集合,G(x)表示x会活百岁以上,则这句话的符号化结果是?xF(x)
【判断题】
任何一个命题公式总可以找到其唯一的主析取范式形式。
【判断题】
若论域指定并且有限,则可以对谓词进行量化断言处理,得命题。
【判断题】
“有的人活百岁以上”与“不是所有的人都活不到百岁以上”是等价的。
【单选题】
公式(P→Q)→(P→R)的成假指派为( ) (按(P, Q, R)的顺序)。
【单选题】
3个命题变元可得到( )个真值结果不同的命题公式