## Psychology Dictionary of ArgumentsHome | |||

| |||

Deduction Theorem - Psychology Dictionary of Arguments | |||

Deduction theorem: The deduction theorem is a metatheorem in logic that states that if a proposition B can be deduced from a proposition A, then the implication A → B is also deducible. In other words, if we can prove that B is true given that A is true, then we can also prove that A implies B.
The deduction theorem is a useful tool for proving theorems, as it allows us to break down complex proofs into smaller, more manageable steps._____________ Annotation: The above characterizations of concepts are neither definitions nor exhausting presentations of problems related to them. Instead, they are intended to give a short introduction to the contributions below. – Lexicon of Arguments. | |||

Author | Item | More concepts for author | |
---|---|---|---|

Berka, Karel | Deduction Theorem | Berka, Karel | |

Hilbert, David | Deduction Theorem | Hilbert, David | |

Wessel, H. | Deduction Theorem | Wessel, H. | |

Ed. Martin Schulz, access date 2024-05-29 |