Classical logic gets round this by widening the interpretation of disjunction: it interprets P ∨ Q as ¬ ¬P∧¬Q), or in other words, "it is contradictory that ...
確定! 回上一頁