用数学的方法研究关于推理、证明等问题的学科就叫做数理逻辑(也叫做符号逻辑)。 ... 双向蕴含词(two-way implication)”当且仅当”(if and only if):↔.
確定! 回上一頁