离散 数学笔记(1)命题逻辑. ... p → ¬ q is the inverse of p →q (逆否命题) ¬q → ¬ p is the contrapositive of p →q — (否命题) ...
確定! 回上一頁