![](/assets/images/picto-drapeau-france-3a76576a5d60a512053b4612ab58dae5.png)
7. Metalogical properties of logic systems
7.1 Deductibility
Deductibility is the property of a logical system that expresses the passage from deduction (a syntactic consequence of a metalogical nature) to implication (of a logical nature).
A deduction theorem is a metatheorem that justifies the use of proof conditionals in logical systems that lack explicit ad hoc inference rules.
This considerably simplifies the construction of demonstrations.
Establishing the deduction theorem is necessary to prove the completeness theorem.
SCROLL TO TOPExclusive to subscribers. 97% yet to be discovered!
You do not have access to this resource.
Click here to request your free trial access!
Already subscribed? Log in!
![](/assets/images/logo-eti-286623ed91fa802ce039246e516e5852.png)
The Ultimate Scientific and Technical Reference
This article is included in
Mathematics
This offer includes:
Knowledge Base
Updated and enriched with articles validated by our scientific committees
Services
A set of exclusive tools to complement the resources
Practical Path
Operational and didactic, to guarantee the acquisition of transversal skills
Doc & Quiz
Interactive articles with quizzes, for constructive reading
Metalogical properties of logic systems
Bibliography
Exclusive to subscribers. 97% yet to be discovered!
You do not have access to this resource.
Click here to request your free trial access!
Already subscribed? Log in!
![](/assets/images/logo-eti-286623ed91fa802ce039246e516e5852.png)
The Ultimate Scientific and Technical Reference