This semantics can be used to draw a sharp demar- cation between “analytic” and “synthetic” (i.e. non-tautological) inferences in propositional logic, which ...
確定! 回上一頁