Develop the training and ability of logicalstatement.
思考能力的引发及逻辑推理能力训练。
2
The supremum axiom of the reals refers to subsets of the reals and is therefore a second-order logicalstatement.
实数集的上确界公理用到了实数集的子集，这是一种二阶逻辑的陈述。
3
In mathematics a logicalstatement that involves three propositions: the major premise minor pre-mise and conclusion. the conclusion is necessarily being true if the premises are true.