Glossary:Logical Operator: Difference between revisions
Jump to navigation
Jump to search
(Created page with "= Logical Operator (Propositional Connective) = BE /ˈlɒʤɪkəl ˈɒpəreɪtə/, AE /ˈlɑ:ʤɪkl̩ ˈɑpəˌreɪtər/ == Definition == The elements (symbols) which join tw...") |
|||
| Line 19: | Line 19: | ||
== Related Terms == | == Related Terms == | ||
* Logical Form | * [[Glossary:Logical Form | Logical Form]] | ||
* Logical | * [[Glossary:Logical Operator | Logical Operator (Propositional Connective)]] | ||
* [[Glossary:Predicate logic| Predicate Logic (First-order Logic)]] | * [[Glossary:Predicate logic| Predicate Logic (First-order Logic)]] | ||
* Variable | * [[Glossary:Variable | Variable]] | ||
<hr /> | <hr /> | ||
Back to the [[Basic_Glossary|Basic Glossary]] | Back to the [[Basic_Glossary|Basic Glossary]] | ||
Revision as of 01:38, 24 June 2016
Logical Operator (Propositional Connective)
BE /ˈlɒʤɪkəl ˈɒpəreɪtə/, AE /ˈlɑ:ʤɪkl̩ ˈɑpəˌreɪtər/
Definition
The elements (symbols) which join two statements into a composite statement.
Also called propositional connective.
Examples
Logical symbols:
&: Logical symbol for conjunction (and)
⊃: Logical symbol for material conditional (if...then)
V: Logical symbol for inclusive disjunction (or)
x-or: Logical symbol for exclusive disjunction (or)
¬: Logical symbol for negation (not)
References
- Gregory, Howard. 2000. Semantics. Language Workbook. London/New York: Rutledge.
- Riemer, Nick. 2010. Introducing Semantics. Cambridge [et al.]: Cambridge University Press.
Related Terms
- Logical Form
- Logical Operator (Propositional Connective)
- Predicate Logic (First-order Logic)
- Variable
Back to the Basic Glossary