Formal Logic

← Back to Domain-Specific Abstractions by Domain

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

• Constructive dilemma — A valid propositional inference from two conditionals and a disjunction of their antecedents to the disjunction of their consequents.
• Symbol (formal) — An abstract atomic item in a formal language whose concrete inscriptions or encodings are token instances rather than the symbol itself.