As shown in the figure: in logic, a set of symbols is often used to represent the logical structure. Because logicians are very familiar with these symbols, they don't explain them when they are used.

Therefore, the following table lists the symbols commonly used by logic learners and their names, pronunciations and related fields of mathematics. In addition, the third column contains informal definitions and the fourth column gives short examples.

Write e as "being" and a as "for everything" instead of reading. ∧ means "and" ∨ means "or".

Extended data:

Logic, which originated from ancient Greek (logos), originally meant "words" or "words" (meaning "thinking" or "reasoning"). 1902 Yan Fu translated Moeller's Xue Ming, translated as "Xue Ming" and transliterated as "logic". Because this word is separated from the Japanese word "ethics", it is also translated into "ethics" in Japanese.

Traditionally, logic has been studied as a branch of philosophy. Since the middle of19th century, logic has often been studied in mathematics and computer science. The scope of logic is very wide, ranging from core themes such as the study of fallacies and paradoxes to specialized reasoning analysis such as possible correct reasoning and argumentation involving causality.

In ancient China, logic was also called Neo-Confucianism, the study of reason, the study of name, the study of punishment name and so on.

Baidu Encyclopedia-Logical Symbol