Hypotetisk slutledning är en slutledning, i logiken kallad syllogism i vilken översatsen är en konditionalsats, ett hypotetiskt villkor.
En sådan slutledning kallas ren, om undersatsen är ett hypotetiskt villor. Den äger då formen: Om A är, så är B. Om C är, så är A, alltså: Om C är, så är B. I formell logiknotation kan detta skrivas:
Ett alternativt Hypotetiskt bevis - Hypsografi Om A är, så är B. Om B är, så är D, alltså: Om A är, så är D.
Den kallas vanlig hypotetisk slutledning, om undersatsen är ett kategoriskt villkor. En sådan slutledning har antingen formen (i vilket fall man sägs sluta enligt "modus ponens"): Om A är, så är B. Nu är A, alltså är B, eller ock formen (i vilket fall man sägs sluta enligt "modus tollens"): Om A är, så är B. Nu är icke B, alltså är icke A
Mindre uppmärksammade och mer sällan förekommande är de hypotetiska slutledningar, i vilka undersatsen är ett disjunktivt villkor. De förekommer dock stundom, till exempel: Om A är, så är B. Antingen är A eller ock C, alltså: Antingen är B eller C eller båda (om nämligen B vore på annan grund än A) eller Om A är, så är B. Antingen är icke B eller ock är C, alltså: Antingen är icke A eller ock är C.
Hypotetisk-disjunktiv slutledning kallas en sådan, vars översats är ett hypotetisk-disjunktivt villkor. Sådana finns av flera slag, till exempel: Om A är, så är antingen C eller D. Nu är A, alltså är antingen C eller D, eller Om A är, så är antingen C eller D. Antingen är A eller B, alltså är antingen B, C eller D.
Kategori:Argument inom logik