... test for entailment relations is as follows: (2) φ entails ψ if and only if “φ but not ψ” is intuitively contradictory. For example:.
確定! 回上一頁