Each implication implies its contrapositive, even intuitionistically. In classical logic, an implication is logically equivalent to its contrapositive, and, ...
確定! 回上一頁