Current location - Training Enrollment Network - Mathematics courses - What is the mathematical symbol of and or not?
What is the mathematical symbol of and or not?
Or "∨", and it is "∨". In mathematics, a declarative sentence expressed by language, symbol or formula that can judge its truth or falsehood is called a proposition.

A true proposition is a correct proposition, that is, if the proposition holds, then the conclusion must hold. For example:

① Two parallel lines are cut by a third straight line, and the internal dislocation angles are equal.

If a>b, b>c and then a> C 。

③ The vertex angles are equal.

theorem

Theorem is a true proposition derived from axioms or known theorems. These true propositions are the most basic and commonly used, so they are chosen as theorems. There are still many proved true propositions that have not been selected as theorems. So theorems are all true propositions, and true propositions are not all theorems. For example, "If ∠ 1=∠2, ∠2=∠3" is a true proposition, but it cannot be said to be a theorem.

In short, axioms and theorems are true propositions, but some true propositions are not axioms. This is not a theorem. The main difference between axioms and theorems is that the correctness of axioms does not need to be proved by reasoning, while theorems need to be proved.