Propositional Logic

← Back to Domain-Specific Abstractions by Domain

2 domain-specific abstractions whose origin domain is Propositional Logic.

• Logical equality — A truth-functional connective that is true exactly when its two propositions have the same truth value.
• Principle of distributivity — The propositional-logic laws stating that conjunction distributes over disjunction and disjunction distributes over conjunction.