判断题存在集合A与B,可以使得A∈B与A⊆B同时成立。()
单项选择题命题逻辑演绎的CP规则为()。
A.在推演过程中可随便使用前提B.在推演过程中可随便使用前面演绎出的某些公式的逻辑结果C.如果要演绎出的公式为B→C形式,那么将B作为前提,设法演绎出CD.设Φ(A)是含公式A的命题公式,,则可用B替换Φ(A)中的A
单项选择题下列推理步骤错在()。
A.①→②B.②→③C.③→④D.④→⑤
问答题下列命题相容吗?
问答题下列前提下结论是否有效?今天或者天晴或者下雨。如果天晴,我去看电影;若我去看电影,我就不看书。故我在看书时,说明今天下雨。