We also define the truth-set of <p, which embodies the classical meaning of ç . Definition 2.9 (Truth sets, possibilities, propositions) Let <p be a formula. 1.
確定! 回上一頁