Economics Dictionary of ArgumentsHome
| |||
|
| |||
| Deduction Theorem - Economics 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. | |
|
Authors A B C D E F G H I J K L M N O P Q R S T U V W X Y Z Concepts A B C D E F G H I J K L M N O P Q R S T U V W X Y Z Ed. Martin Schulz, access date 2026-04-20 | |||
