Deduction theorem
id:
deduction-theorem-257-12263674
title:
Deduction theorem
text:
In mathematical logic, a deduction theorem is a metatheorem that justifies doing conditional proofs from a hypothesis in systems that do not explicitly axiomatize that hypothesis, i.e. to prove an implication A → B, it is sufficient to assume A as a hypothesis and then proceed to derive B. Deduction theorems exist for both propositional logic and first-order logic. The deduction theorem is an important tool in Hilbert-style deduction systems because it permits one to write more comprehensible an
brand slug:
wiki
category slug:
encyclopedia
description:
Metatheorem in mathematical logic
original url:
https://en.wikipedia.org/wiki/Deduction_theorem
date created:
date modified:
2024-04-04T16:47:35Z
main entity:
{"identifier":"Q1182249","url":"https://www.wikidata.org/entity/Q1182249"}
image:
fields total:
13
integrity:
14