Classical propositions and connectives
Classical logic combines truth-valued propositions using defined connectives.
Key knowledge
In classical two-valued logic a proposition is true or false. Negation reverses its truth value; a conjunction is true when both parts are true, an inclusive disjunction when at least one is true, and an implication is false only when its antecedent is true and consequent false.
Conditions and scope
- These are classical truth-functional meanings; other logical systems use different semantics.
- Logical implication alone does not assert physical causation.
Sources · 3
References
Sources retain their recorded scope. A source link alone does not establish verification of every statement.
Evidence and review
Two-valued proposition and connective definitions.
2026-10-10 · Checked truth conditions and inclusive-or convention.
Foundational review
2026-10-10 · Fresh primary-source inspection of the complete compact record, including every statement, equation, quantity and material condition, followed by independent AI editorial review. This check does not certify all linked lessons or every passage of every cited publication.
Sources from other places
Agreement within this scope
Classical negation, conjunction, inclusive disjunction and material implication.
The inspected truth table agrees; other logical semantics are outside this comparison.
University of Cambridge, Computer Laboratory
- Discrete Mathematics II · Set theory for computer science United KingdomEnglish
§1.4.4 Truth tables, p.28
- Discrete Mathematics II · Set theory for computer science
Entry details
Permanent link to this entry ↗- Record identity
- math-classical-logic
- Revision
- core.1
- Structured reference record
- Essential core · first collection