9 relationer: Absurditetsregeln, Härledning, Indirekt bevis, Latin, Modus ponens, Reductio ad absurdum-regeln, Satslogik, Slutledning, Tautologi (logik).
Absurditetsregeln
Absurditetsregeln, även kallad Ab-regeln, Law of absurdity, är en slutledningsregel i satslogiken.
Ny!!: Reductio ad absurdum och Absurditetsregeln · Se mer »
Härledning
En härledning är generellt en serie logiska steg, vilka med utgångspunkt från ett antal premisser och slutledningsregler leder fram till en slutsats.
Ny!!: Reductio ad absurdum och Härledning · Se mer »
Indirekt bevis
Ett indirekt bevis eller ett motsägelsebevis är ett sätt att bevisa ett påstående genom att visa att påståendets motsats leder till en självmotsägelse.
Ny!!: Reductio ad absurdum och Indirekt bevis · Se mer »
Latin
Duenos-inskriften, skriven på gammallatin, är från 500-talet före Kristus och är den äldsta kända texten skriven på latin. Latin (lingua latīna eller latīnus sermo) är det språk som var skriftspråk i romerska riket och som under medeltiden och långt fram i nyare tid var det dominerande skriftspråket i Europa.
Ny!!: Reductio ad absurdum och Latin · Se mer »
Modus ponens
Modus ponens är en förkortad form av modus ponendo ponens, som är en slutledningsregel inom satslogiken.
Ny!!: Reductio ad absurdum och Modus ponens · Se mer »
Reductio ad absurdum-regeln
Reductio ad absurdum-regeln, är namnet på en slutledningsregel, RAA-regeln, inom logiken, som bland annat används vid indirekt bevisföring.
Ny!!: Reductio ad absurdum och Reductio ad absurdum-regeln · Se mer »
Satslogik
Satslogiken är ett formellt logiskt system med väldefinierad syntax, avsett att symboliskt hantera språkliga satser, vilka uttrycker påståenden, och från dessa med giltiga slutledningar, dra slutsatser.
Ny!!: Reductio ad absurdum och Satslogik · Se mer »
Slutledning
En slutledning är en process, vid vilken man från ett antal premisser och i kraft av en slutledningsregel framställer en slutsats.
Ny!!: Reductio ad absurdum och Slutledning · Se mer »
Tautologi (logik)
Tautologi är en benämning på en sats inom satslogiken, som är sann för varje tillordning av sanningsvärden till dess satssymboler.
Ny!!: Reductio ad absurdum och Tautologi (logik) · Se mer »