tautology. (The interesting case is when A and Σ are infinite.) 2.3 Languages and Structures. Propositional Logic captures only one aspect of mathematical ...
確定! 回上一頁