The language of science logic. Table of logic symbols

Annotation

This report covers such things as "logical language", "logical character," the essence of language of modern logic and conducted a detailed analysis of each type (formalized and informal language, the language of a certain type of logic, semantic and syntactic language of a logical theory, meta, logic circuit). Also the table of logic symbols with explanations and example. In logic, character set is commonly used to express logical representation. The relevance of the report is that the logical symbols often found in practice, and in life in different situations. Outside logic, different characters have the same meaning, while the same symbol has, depending on the context, different meanings.