Foundations of Mathematics

Mathematical and Formal Logic

What are logical operators in predicate calculus?

Predicate calculus commonly uses seven special symbols—called logical operators— to express a formula (in this case, a formula is a meaningful expression built up from atomic formulas by repeated application of the logical operators). The following table lists the symbols and their meanings. (Note: Many of these symbols are also used as logical operators in truth tables; see below.)



This is a web preview of the "The Handy Math Answer Book" app. Many features only work on your mobile device. If you like what you see, we hope you will consider buying. Get the App