This article will be permanently flagged as inappropriate and made unaccessible to everyone. Are you certain this article is inappropriate? Excessive Violence Sexual Content Political / Social
Email Address:
Article Id: WHEBN0002498388 Reproduction Date:
In logic, a set of symbols is commonly used to express logical representation. As logicians are familiar with these symbols, they are not explained each time they are used. So, for students of logic, the following table lists many common symbols together with their name, pronunciation, and the related field of mathematics. Additionally, the third column contains an informal definition, and the fourth column gives a short example.
Be aware that, outside of logic, different symbols have the same meaning, and the same symbol has, depending on the context, different meanings.
These symbols are sorted by their Unicode value:
Note that the following operators are rarely supported by natively installed fonts. If you wish to use these in a web page, you should always embed the necessary fonts so the page viewer can see the web page without having the necessary fonts installed in their computer.
As of 2014 in Poland, the universal quantifier is sometimes written \wedge and the existential quantifier as \vee.
Epistemology, Computer science, Philosophy, Aesthetics, Metaphysics
Logic, Logical truth, Mathematical logic, Set theory, Philosophical logic
Logic, Logical consequence, Turnstile (symbol), TeX, LaTeX
Logic, Unicode, Logical consequence, Up tack, LaTeX
Digital electronics, Charles Sanders Peirce, Logical disjunction, Logical conjunction, Negation