Table of logic symbols

Table of logic symbols

__NOTOC__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 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.

Basic logic symbols

ee also

* Table of mathematical symbols
* Polish notation

pecial characters

Technical note: Due to technical limitations, some browsers may not display the special characters in this article. Some characters may be rendered as boxes, question marks, or other symbols, depending on your browser, operating system, and installed fonts. Even if you have ensured that your browser is interpreting the article as UTF-8 encoded and you have installed a font that supports a wide range of Unicode, such as "Code2000", "Arial Unicode MS", "Lucida Sans Unicode" or one of the free software Unicode fonts, you may still need to use a different browser, as browser capabilities vary in this regard.

Notes

External links

* [http://www.w3.org/TR/WD-html40-970708/sgml/entities.html Named character entities] in HTML 4.0.


Wikimedia Foundation. 2010.

Игры ⚽ Нужен реферат?

Look at other dictionaries:

  • Table of mathematical symbols — This is a listing of common symbols found within all branches of the science of mathematics.ee also* Greek letters used in mathematics * ISO 31 11 * Mathematical alphanumeric symbols * Mathematical notation * Notation in probability * Physical… …   Wikipedia

  • Logic — For other uses, see Logic (disambiguation). Philosophy …   Wikipedia

  • First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… …   Wikipedia

  • Outline of logic — The following outline is provided as an overview of and topical guide to logic: Logic – formal science of using reason, considered a branch of both philosophy and mathematics. Logic investigates and classifies the structure of statements and… …   Wikipedia

  • Symbolic logic — is the area of mathematics which studies the purely formal properties of strings of symbols. The interest in this area springs from two sources. First, the symbols used in symbolic logic can be seen as representing the words used in philosophical …   Wikipedia

  • Tautology (logic) — In propositional logic, a tautology (from the Greek word ταυτολογία) is a propositional formula that is true under any possible valuation (also called a truth assignment or an interpretation) of its propositional variables. For example, the… …   Wikipedia

  • Paraconsistent logic — A paraconsistent logic is a logical system that attempts to deal with contradictions in a discriminating way. Alternatively, paraconsistent logic is the subfield of logic that is concerned with studying and developing paraconsistent (or… …   Wikipedia

  • Logic gate — A logic gate is an idealized or physical device implementing a Boolean function, that is, it performs a logical operation on one or more logic inputs and produces a single logic output. Depending on the context, the term may refer to an ideal… …   Wikipedia

  • Logic alphabet — The logic alphabet was developed by Dr. Shea Zellweger in the 1950s while working as a switchboard operator. It constitutes an iconic set of symbols systematically representing the sixteen possible binary truth functions. Dr. Zellweger, now… …   Wikipedia

  • History of logic — Philosophy ( …   Wikipedia

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”