contradiction : 不論propositional variable的真值為何,結果都恆為假的proposition。例: p ^ ﹁p contingency : 不是tautology也不是contradiction的proposition.
確定! 回上一頁