Deductive theorem of CP proposition (CP rule).
If there is a generalization rule (the introduction rule of existential quantifiers).
ES existential quantifier refers to rules (existential quantifier elimination rules).
Relationship symbol:
For example, "=" is an equal sign, "≈" is an approximate sign, "≦" is an unequal sign and ">" is a greater than sign. "
"≒" is a similar symbol, "≒" is a complete equal sign, "∨" is a parallel symbol, "∧" is a vertical symbol, "∧" is a proportional symbol (inverse ratio can be expressed by reciprocal relationship) and "∈" is a symbol. "Is contained in the symbol.
"?" Does the inclusion of the symbol "|" mean "divisible" (e.g. a|b? It means "A is divisible by B", while ||b means that R is the greatest power of A divisible by B), and any letter such as X and Y can represent an unknown number.
Baidu encyclopedia-mathematical symbols