Strict implication was defined as ∼♢(A·∼B), in which ♢ means “is possible” or “is not self-contradictory.” Thus A strictly implies B if it is impossible for ...
確定! 回上一頁