A.(1)(2)(3)(4)(5)(6)(8)(9)(11)(13)
B.(1)(2)(3)(4)(5)(6)(8)(9)(10)(13)
C.(1)(2)(3)(4)(5)(6)(7)(9)(11)(13)
D.(1)(2)(3)(4)(5)(6)(7)(9)(10)(12)
E.(1)(2)(3)(4)(5)(6)(7)(8)(10)(12)
改正下题证明中的错误.
前提:
结论:
证明过程:
(1)P
(2)US(1)
(3)¬()P(z) P(附加前提)
(4)()]P(z) T(3)E
(5)¬P(a) US(4)
(6)¬P(a)∨]R(b,a) T(5),
(7)()(¬P(z)∨]R(b,z)) UG(6)
(8)¬()(P(z)∧R(b,z)) T(7)E
(9)¬()(S(b,y)∧M(y)) T(2)(8)I
(10)()(¬S(b,y)∨¬M(y)) T(9)E
(11)()(S(b,y)→¬M(y)) T(10)E
(12)UG(11)
(13)CP
被试 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 | 14 | 15 | 16 |
奇数题 | 32 | 40 | 42 | 28 | 35 | 30 | 41 | 28 | 32 | 34 | 26 | 34 | 36 | 25 | 40 | 41 |
偶数题 | 31 | 39 | 45 | 30 | 40 | 29 | 39 | 30 | 32 | 30 | 30 | 40 | 36 | 26 | 40 | 42 |
A.(1)(10)(11)/(2)(5)(7)(8)(12)(14)/(3)(4)/(6)(9)/(13)/(15)(16)(17)
B.(1)(10)(11)/(2)(5)(7)(8)(12)(14)/(3)(4)(6)(9)/(13)(15)(16)(17)
C.(1)(10)13)/(2)(5)(7)(8)(12)(14)/(3)/(4)(9)/(6)(15)(16)(17)/(11)
D.(1)(10)(13)/(2)(5)(7)(8)(11)(12)(14)/(3)/(4)(6)(9)/(15)(16)(17)