Deduktionsteorem, en logisk sætning, som kan føres tilbage til Alfred Tarski og Jacques Herbrand. Den siger, at hvis et udsagn A kan deduceres ud fra et andet udsagn B i forening med en eller flere andre præmisser A1,...,An, så kan implikationen "hvis B, så A" udledes ud fra de øvrige præmisser A1,...,An.
Faktaboks
- Etymologi
- 2. led af græsk theorema 'læresætning', af theorein 'betragte'.
I moderne logisk notation skrives deduktionssætningen således: Hvis A1,...,An,B⊦A, så gælder A1,...,An⊦B⇒A. Her betegner ⊦ logisk følge og ⇒ implikationen "hvis..., så, ...". Deduktionssætningen gælder for de fleste alm. logiske systemer, fx klassisk prædikatslogik og intuitionistisk logik.
Kommentarer
Kommentarer til artiklen bliver synlige for alle. Undlad at skrive følsomme oplysninger, for eksempel sundhedsoplysninger. Fagansvarlig eller redaktør svarer, når de kan.
Du skal være logget ind for at kommentere.