命题验标(propositional calculus)
这就是逻辑学中提到的A⊃B：如果是A，那么结论就是B。对于A⊃B，如果用另一种方式来表示：如果非A，那么结论就是非B，根据形式逻辑的规律，这就是不正确的三段论法。实验时可以给被试一系列的三段论法，让他判断哪些是正确的，哪些是错误的，最后看他怎样反应。在解决三段论法时，被试不应该接受客观事实的影响，只应按照命题本身的逻辑来进行判断。
谓词演绎(predicatecalculus)
(x)H(x)⊃F(x)给出一个前提：凡是马都是白色的，a是马，则a是白色的
$$
\frac { \mathrm { H ( a ) } } { \mathrm { F ( a ) } }
$$
在这里，若前提一、二均正确，则结论一定正确。这一类的研究通常是看正确结论的百分比与逻辑运算的关系。结果发现，若三段论法的前提是肯定的，结论的正确率就高于具有否定前提的三段论法。这类研究的第二个发现是，被试得出的结论与日常生活常识有关，凡符合常识的结论，其正确率要高于不符合常识的结论。由此可见，逻辑推理虽然不应受真实世界中各
第七章 概念的形成
245