just as we can eliminate negated quantifiers. Here is another important logical equivalence: The implication P → Q is equiva- lent to the contrapositive ...
確定! 回上一頁