A. (A→B)∧┐B=>A (拒取式) B. (A∨B)∧┐A=>B (析取三段论) C. (A→B)∧A=>B (假言推理) D. A=>(A∨B) (附加律)
A. p∧┐p∧q B. ┐p∧q C. ┐p∨q D. ┐p∨p∨q
A. 请把门关上 B. 地球外的星球上也有人 C. x + 5 > 6 D. 下午有会吗?