Current location - Training Enrollment Network - Mathematics courses - What are the symbols of common logical terms in high school mathematics?
What are the symbols of common logical terms in high school mathematics?
The main ones are

Deduction symbols =>,<=,<=> (for necessary and sufficient conditions)

Existential symbol ┑ (used for existential proposition)

It is better to find any symbol "A is written backwards" (full name proposition) in the formula editor.

Propositions should use the symbol p q P(x).