Seonglae ChoExtensional Logic
The study of logic that examines the conditions for establishing formal validity of reasoning to verify the truth and falsity of thoughts (judgments and concepts)
Formal Logics
List of logic symbols
In logic, a set of symbols is commonly used to express logical representation. The following table lists many common symbols, together with their name, how they should be read out loud, and the related field of mathematics. Additionally, the subsequent columns contains an informal explanation, a short example, the Unicode location, the name for use in HTML documents,[1] and the LaTeX symbol.
https://en.wikipedia.org/wiki/List_of_logic_symbols