Glossary:Logical Operator

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
• Predicate Logic (First-order Logic)
• Quantifier
• Variable

---

Back to the Basic Glossary