"or" symbol

The symbol of "no": copper

1, the judgment of truth values of propositions p and q(p∧q);

2, proposition p or q(p∨q) to determine the truth:

3, the proposition is not P(┐p):

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.