设AC为两个命题公式,当且仅当( )为重言式时,称C可由A逻辑地推出。设个体域A={a, b}, 公式 在A上消去量词后应为( )A: B: C: D: 答案:A: B: C: D: 答案: 点我阅读全文
令p:我们划船。 q:我们跑步。命题“我们不能既划船又跑步”符号化为( )。 设C(x):x是国家足球队选手。G(x):x是健壮的。命题“没有一个国家足球队选手不是健壮的”可符号化为( )。 A: B: C: D: 答案: A: 点我阅读全文