Glossary:Predicate logic: Difference between revisions
Jump to navigation
Jump to search
| Line 16: | Line 16: | ||
== Related Terms == | == Related Terms == | ||
* [[Glossary:Existential Quantifier | Existential Quantifier]] | * [[Glossary:Existential Quantifier | Existential Quantifier]] | ||
* Logical Form | * [[Glossary:Logical Form | Logical Form]] | ||
* [[Glossary:Logical | * [[Glossary:Logical Operator | Logical Operator (Propositional Connective)]] | ||
* Logical | * [[Glossary:Logical Quantifier | Logical Quantifier]] | ||
* [[Glossary:Quantifiers | Quantifier]] | * [[Glossary:Quantifiers | Quantifier]] | ||
* [[Glossary:Restricted Quantifier| Restricted Quantifier]] | * [[Glossary:Restricted Quantifier| Restricted Quantifier]] | ||
* [[Glossary:Universal Quantifier| Universal Quantifier]] | * [[Glossary:Universal Quantifier| Universal Quantifier]] | ||
* Variable | * [[Glossary:Variable | Variable]] | ||
<hr /> | <hr /> | ||
Back to the [[Basic_Glossary|Basic Glossary]] | Back to the [[Basic_Glossary|Basic Glossary]] | ||
Latest revision as of 01:42, 24 June 2016
Predicate Logic (First-order Logic)
BE /ˈprɛdɪkɪt ˈlɒʤɪk/, AE /ˈprɛdɪkət ˈlɑʤɪk/
Definition
Predicate logic is a branch of logic that studies the logical form of propositions involving expressions of individual constants, predicates and quantifiers.
Logic can be thought of as the use of an artificial language or notation to bring out clearly whatever patterns or relations are regarded as significant (especially anything that contributes to the truth or falsity of expressions).
Examples
The logical language involves e.g.:
predicates, arguments, connectives, quantifiers and variables
References
- Gregory, Howard. 2000. Semantics. Language Workbook. London/New York: Rutledge.
- Riemer, Nick. 2010. Introducing Semantics. Cambridge [et al.]: Cambridge University Press.
Related Terms
- Existential Quantifier
- Logical Form
- Logical Operator (Propositional Connective)
- Logical Quantifier
- Quantifier
- Restricted Quantifier
- Universal Quantifier
- Variable
Back to the Basic Glossary