A. 对 B. 错
A. 添加;消去 B. 消去;添加 C. 消去;消去 D. 添加;添加
A. 设前件为真,由此推导出后件亦为真。 B. 设后件为假,由此推导出前件亦为假。
A. 具体客体名称取代客体变元获得命题 B. 用量化客体变元的方法获得命题 C. 以上都可
A. n B. k C. n-k D. 1
A. P⇄Q B. P∧Q
A. P∨Q B. P∧Q C. P->Q
A. (P∧ùQ)∨(ùP∧Q) B. P∨Q C. P∧Q
A. ù (P∧Q)→R B. (ùP∧ùQ)→R C. (ùP∨ùQ)→R
A. ((P∧Q)⇄S)∨(S→R) B. ((P∧Q)⇄S)∧(S→R) C. ((P∧Q)→S)∧(S→R) D. ((P∧Q)→S)∨(S→R)