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.

Logic math symbols table

Symbol | Symbol Name | Meaning / definition | Example |
---|---|---|---|

⋅ |
and | and | x
⋅ y |

^ | caret / circumflex | and | x ^ y |

& | ampersand | and | x & y |

+ | plus | or | x + y |

∨ | reversed caret | or | x
∨ y |

| | vertical line | or | x | y |

x' |
single quote | not - negation | x' |

x |
bar | not - negation | x |

¬ | not | not - negation | ¬ x |

! | exclamation mark | not - negation | ! x |

⊕ | circled plus / oplus | exclusive or - xor | x
⊕ y |

~ | tilde | negation | ~ x |

⇒ | implies | ||

⇔ | equivalent | if and only if (iff) | |

↔ | equivalent | if and only if (iff) | |

∀ | for all | ||

∃ | there exists | ||

∄ | there does not exists | ||

∴ | therefore | ||

∵ | because / since |

Logical symbols

Reading logical symbolism frightens many people more than it should. The very term symbolic logic sounds terrifying, and the presence of even a small amount of symbolism may deter many readers from otherwise perfectly intelligible texts. The following explanation introduces the symbolism used in this work, and lists some of the variations that may be encountered in other works. It should be noticed that technical terms used in this appendix are also explained under their own headwords in the body of the dictionary, and cross-references have been given where appropriate.

Lower-case italic letters from this part of the alphabet: *p*, *q*, *r*…, are used as propositional variables. This means that they stand for propositions or statements. Some logicians dislike these categories, and prefer to call them sentence letters, or sentential variables. In either event, they occur where a sentence can be substituted, just as the *x* and *y* of algebra stand where an expression for a number can be substituted. A statement like ‘If someone believes that *p* and *q* then he believes that *p*’ says that in any case in which someone believes a conjunction (such as ‘It is raining and it is windy’, then that person believes its individual parts (that it is raining). Variations encountered include capitals (P, Q,…), or italic capitals *P*, *Q*,….

Lower-case italic letters from the end of the alphabet: *x*, *y*, *z*…, are used as object variables. This means that they stand where reference to a person, or a thing, or a number might take place. Using such a variable, the example above could be phrased: ‘If *x* believes that *p* and *q* then *x* believes that *p*’, where *x* stands for any person. This notation is virtually universal, although the typographical appearance of the variables varies.

As in common mathematical usage, lower case roman letters, especially n, k, j…, are used in a context to refer to specific numbers. From the beginning of the alphabet, a, b, c…, are also individual constants, or terms used in a context to refer to specific things or people. Fa means that some specific thing, a, is F, and is therefore a self-standing sentence, true or false as the case may be. F*x* by contrast is not, because nothing is picked out by the variable *x.*

Capital roman letters, F, G, R, stand for predicates and relational expressions. Particular instances of these are standard: for instance, identity (=), non-identity (≠), greater than and less than (>, <), and other mathematical relations. The usual convention is for predicate letters to stand before the terms to which they apply. Fn means that n is F; Rab means that a bears the relation R to b. In some works this would be written aRb.

The most simple relations between propositions studied in logic are the truth functions. These include:

*Not*. Not-*p* is the negation of *p.* Classically, it is the proposition that is false when *p* is true, and vice versa. In this work it is written not-*p* where the context is informal, and ¬*p* in more formal contexts. These mean exactly the same. Variations encountered include −*p* and ~*p.*

*And.* *p* and *q* is the conjunction of the two propositions. It is true if and only if they are both true. In this work it is written *p* & *q*. Variations encountered include *p* · *q*, and, more commonly, *p* ∧ *q*.

*Or*. *p* or *q* is the disjunction of the two propositions. It is true if and only if at least one of them is true. In this work it is written *p* ∨ *q*, and this is standard. Exclusive disjunction, meaning that one of *p*, *q* is true, but not both, is sometimes encountered, written *p* ⊻ *q.*

*Implication*. Logic studies various kinds of implication. The most simple is called material implication. Here it is written *p* → *q*. The most common variation is *p* ⊃ *q*.

*Equivalence*. If *p* → *q* and *q* → *p* then *p* and *q* are said to be equivalent (they have the same truth value). Informally this is often expressed as *p* iff *q*. It is written *p* ↔ *q*. The most common alternative is *p* ≡ *q*.

This is the basic set of truth functions, in terms of which others are usually defined. In the predicate calculus the internal structure of propositions, as well as relations between them, is studied. The key notions are the two quantifiers:

*The universal quantifier*. In this work this is written ∀. (∀*x*)F*x* means that everything is F. Variations that may be met include (A*x*)F*x* and (*x*)F*x*.

*The existential quantifier*. In this work this is written ∃. (∃*x*)F*x* means that something is F. The principal variation that may be met is (E*x*)F*x*.

In the predicate calculus numerical quantifiers can be defined, e.g. (∃n*x*)(F*x*) means that there are n *x*s such that F*x.*The principal variation is (∃!*x*)F*x* (called E-shriek x), meaning that there is exactly one *x* such that *x* is F.

Terms may be defined from definite descriptions. The main examples encountered are (1*x*)F*x* (the unique *x* such that *x* is F) and (µ*x*)F*x* (the least *x* such that *x* is F).

Modal logic studies the notion of propositions being necessary or possible. The basic notation is:

*Necessarily p*. Written □*p*. The main variation is N*p*.

*Possibly p*. Written ⋄*p*. The main variation is M*p*.

In *metatheory, or the theory of logical systems, formulae and their relations become the topic. In this work capital roman A, B are variables for formulae, with A1…An referring to a sequence of formulae. In other works, Greek in various forms (α, β…) may be encountered. The principal relations that matter are:

There is a proof of B from A. This is standardly written A ⊦ B.

B is true in all interpretations in which A is true. This is standardly written A ⊧ B.

In traditional, or Aristotelian logic, there is not the same array of notions. Sentences are thought of as made up from terms, such as a subject and predicate, or the middle term of a syllogism. Capital roman letters (S, P, M) are used for these in this work. Set theory introduces a small new range of fundamental terms:

{*x*: F*x*} refers to the set of things, *x*, that meet a condition F. This is now standard. A set may also be referred to by listing its members (‘extensionally’): {a, b, c} is the set whose members are a, b, and c.

The set with no members, or null set, is written ∅. An older variation is ∧.

Sets themselves are denoted by capital roman S, T, etc. There are many typographical variations possible.

∈ denotes set-membership. *x* ∈ S means that *x* is a member of the set S.

*x* ∈ {*y*: G*y*} means that *x* is a member of the set of things that is G.

<…> refers to an ordered n-tuple.

The main notions used to construct sets include:

*Intersection*. S *Union*. S ∪ R is the set of things that belong either to S or to R. This too is standard.

*Complement*. S̄ is the set of things that do not belong to S.

*Cartesian product*. S×R is the set of ordered pairs whose first member belongs to S, and second belongs to R.

Relations between sets include:

*Subset*: S ⊆ R means that all members of S are members of R (notice that S ⊆ S).

*Proper subset*: S ⊂ R means that S is included in R (it is a subset, but not identical with R).

The main non-standard notation that may be encountered is Polish notation, which is explained in the body of the dictionary, as is substitutional quantification and its notation.

Currently, we have around 1977 calculators, conversion tables and usefull online tools and software features for students, teaching and teachers, designers and simply for everyone.

You can find at this page financial calculators, mortgage calculators, calculators for loans, calculators for auto loan and lease calculators, interest calculators, payment calculators, retirement calculators, amortization calculators, investment calculators, inflation calculators, finance calculators, income tax calculators, compound interest calculators, salary calculator, interest rate calculator, sales tax calculator, fitness & health calculators, bmi calculator, calorie calculators, body fat calculator, bmr calculator, ideal weight calculator, pace calculator, pregnancy calculator, pregnancy conception calculator, due date calculator, math calculators, scientific calculator, fraction calculator, percentage calculators, random number generator, triangle calculator, standard deviation calculator, other calculators, age calculator, date calculator, time calculator, hours calculator, gpa calculator, grade calculator, concrete calculator, subnet calculator, password generator conversion calculator and many other tools and for text editing and formating, downloading videos from Facebok (we built one of the most famous Facebook video downloader online tools). We also provide you online downloanders for YouTube, Linkedin, Instagram, Twitter, Snapchat, TikTok and other social media sites (please note we does not host any videos on its servers. All videos that you download are downloaded from Facebook's, YouTube's, Linkedin's, Instagram's, Twitter's, Snapchat's, TikTok's CDNs. We also specialise on keyboard shortcuts, ALT codes for Mac, Windows and Linux and other usefull hints and tools (how to write emoji online etc.)

There are many very usefull online free tools and we would be happy if you share our page to others or send us any suggestions for other tools which will come on your mind. Also in case you find any of our tools that it does not work properly or need a better translation - please let us know. Our tools will make your life easier or simply help you to do your work or duties faster and in more effective way.

These below are the most commonly used by many users all over the world.

- Free online calculators and tools
- Time zones/Clocks/Dates calculators
- Free online units conversion tools
- Free online web design tools
- Free online electricity & electronics tools
- Mathematics
- Online Tools
- Text Tools
- PDF Tools
- Code
- Ecology
- Others
- Numbers
- Algebra
- Trigonometry
- Probability & Statistics
- Calculus & analysis
- Mathematical symbols
- Algebra symbols
- Asterisk sign
- Basic math symbols
- Calculus symbols
- Division sign
- Equals sign
- Geometry symbols
- Greek alphabet
- Infinity symbol
- Infinity symbol ALT code
- Infinity symbol in MS Word
- Infinity symbol on Facebook
- Infinity symbol on keyboard
- Infinity symbol on mac
- Is infinity a real number
- Logic symbols
- Minus sign
- Multiplication dot
- Number symbols
- Plus sign
- Roman numerals
- Set theory symbols
- Statistical symbols
- Times sign

And we are still developing more. Our goal is to become the one-stop, go-to site for people who need to make quick calculations or who need to find quick answer for basic conversions.

Additionally, we believe the internet should be a source of free information. Therefore, all of our tools and services are completely free, with no registration required. We coded and developed each calculator individually and put each one through strict, comprehensive testing. However, please inform us if you notice even the slightest error – your input is extremely valuable to us. While most calculators on Justfreetools.com are designed to be universally applicable for worldwide usage, some are for specific countries only.