We say that a is contingent iff it is neither a tautology nor a contradiction, in other terms, iff v(a) = 1 and u(a) = 0 for some valuations v and u.
確定! 回上一頁