题目内容
（请给出正确答案）
[单选题]
选择恰当的结论，使得推理形式有效：有的矩形是正方形，所有平行四边形都不是梯形，所有矩形都是平行四边形；所以，____________。
A.有的正方形不是梯形。
B.有的梯形不是正方形。
C.所有的正方形都不是梯形。
D.所有的梯形都不是正方形。
提问人：网友jin_xin
发布时间：2022-01-07
如搜索结果不匹配，请 
图中“⊕”号的依据是：
A、大前提
B、小前提
C、主项存在假设：中项外延非空
D、主项存在假设：小项外延非空
题目内容
（请给出正确答案）
您可能会需要：
安装简答题APP，拍照搜题省时又省心！
更多“选择恰当的结论，使得推理形式有效：有的矩形是正方形，所有平行…”相关的问题
第2题
“并非每个人都是父母”翻译为一阶公式最佳的是：
A、Ø"x(Hx→"y(Hy→Fxy∨Mxy))
B、Ø"x(Hx→$y(Hy∧(Fxy∨Mxy)))
C、Ø"x(Hx→$y(Hy∧(Fxy∧Mxy)))
D、Ø"x(Hx→"y(Hy→Fxy∧Mxy))
第3题
下列命题能表明用全称量词可以定义存在量词的是：
A、对任意公式A，"xA与Ø$xØA逻辑等值。
B、对任意公式A，$xA与Ø"xØA逻辑等值。
C、对任意公式A，Ø"xA与$xØA逻辑等值。
D、对任意公式A，"xØA与Ø$xA逻辑等值。
第4题
现有如下一阶树形图： [图]A、该树形图完全正确。B、该树...
现有如下一阶树形图：
A、该树形图完全正确。
B、该树形图左侧分枝中的节点存在公式错误。
C、该树形图右侧分枝中的节点存在公式错误。
D、该树形图无节点公式错误，但有“√”标记错误。
第5题
现有如下谓词逻辑推理："x(Mx→Px)，"x(Sx→Mx)├$x(Sx∧Mx)。下列说法正确的是：
A、该推理是正确的。
B、该推理不正确，需添加前提$xSx才正确。
C、该推理不正确，需添加前提$xMx才正确。
D、该推理不正确，需添加前提$xPx才正确。
第6题
（42题至44题共同基于如下题干） 现有如下[图]推演。 [图...
（42题至44题共同基于如下题干） 现有如下
推演。
推演中第(9)行的公式应该是：
A、"x"y(Rxy∧Ryz→Rxz)
B、"x"z(Rxa∧Raz→Rxz)
C、"y"z(Rxy∧Ryz→Rxz)
D、"x(Rxa∧Raz→Rxz)
第9题
如果在真空中、在水中、在任何缺乏空气的容体中，加热某个易燃物体，都不会出现燃烧现象。而当在有空气的情况下加热易燃物体时，燃烧现象却会出现。因此，缺乏空气是燃烧不能进行的原因。上述探求因果关系的过程运用的是：
A、求同法
B、求异法
C、求同求异并用法
D、共变法
