A logical connective, also known as a logical operator or sentential connective, is a constant used in logic to connect logical formulas. Common examples include negation, disjunction, conjunction, implication, and equivalence, which are interpreted as truth functions in classical logic systems. While similar to natural language expressions like "not", "or", "and", and "if", they are not identical, leading to nonclassical approaches to natural language meaning and the use of a classical compositional semantics with a robust pragmatics.
Stanford University
Winter 2020
CS 103A serves as an additional review course for CS103 students, focusing on strengthening proof-based mathematics skills and general problem-solving strategies in a context closely tied to CS103.
No concepts data
+ 31 more concepts