<samp id="2yeik"><pre id="2yeik"></pre></samp>

單項(xiàng)選擇題

現(xiàn)有如下謂詞邏輯推理："x（Mx→Px），"x（Sx→Mx）├$x（Sx∧Mx）。下列說(shuō)法正確的是（）

A.該推理是正確的。
B.該推理不正確，需添加前提$xSx 才正確。
C.該推理不正確，需添加前提$xMx 才正確。
D.該推理不正確，需添加前提$xPx 才正確。

你可能感興趣的試題

多項(xiàng)選擇題

下列公式屬于定理的有（）

A."x（Px∧Qx）?"xPx∧"xQx
B."x（Px∨Qx）?"xPx∨"xQx
C.$x（Px∧Qx）?$xPx∧$xQx
D.$x（Px∨Qx）?$xPx∨$xQx

多項(xiàng)選擇題

對(duì)公式"x（Px→$y（Sy∧Fxy））使用"規(guī)則可得（）

A.Px→$y（Sy∧Fxy）
B.Py→$y（Sy∧Fyy）
C.Px→$y（Sy∧Fzy）
D.Pa→$y（Sy∧Fay）

<th id="ccuke"></th>

<strike id="ccuke"></strike>

<th id="ccuke"><menu id="ccuke"></menu></th>

<tr id="ccuke"><rt id="ccuke"></rt></tr>