*P 稱作衍生命題。 (B)因明論式小前提的成立若p則q類型的命題,難道不是表示成為p→q嗎?利用蘊涵等值式:p→q等價于¬p∨q則其否定即為¬(¬ p∨q… 如果不談蘊含等值 ...
確定! 回上一頁