15 relationer: Delmängd, Ekvivalens (logik), Kontraposition, Latin, Materiell implikation, Mängdteori, Modus ponens, Predikatlogik, Premiss, Satslogik, Slutledningsregel, Slutsats, Tautolog implikation, Tautologi (logik), Teorem.
Delmängd
Inom mängdteorin är en mängd A en delmängd av en mängd B om alla element som ingår i A även ingår i B. Detta skrivs.
Ny!!: Modus tollens och Delmängd · Se mer »
Ekvivalens (logik)
Materiell ekvivalens och logisk ekvivalens är grundläggande ekvivalensrelationer i den klassiska logiken.
Ny!!: Modus tollens och Ekvivalens (logik) · Se mer »
Kontraposition
Kontraposition är en regel i klassisk logik med vilken en villkorssats kan skrivas om med en omkastning, kontraposition, och negering av för- och eftersats.
Ny!!: Modus tollens och Kontraposition · 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!!: Modus tollens och Latin · Se mer »
Materiell implikation
Materiell implikation är ett konnektiv inom satslogiken, som oftast betecknas med symbolen →.
Ny!!: Modus tollens och Materiell implikation · Se mer »
Mängdteori
miniatyr Mängdteori är del inom matematisk logik som syftar till att studera samlingar av element som kallas för mängder.
Ny!!: Modus tollens och Mängdteori · Se mer »
Modus ponens
Modus ponens är en förkortad form av modus ponendo ponens, som är en slutledningsregel inom satslogiken.
Ny!!: Modus tollens och Modus ponens · Se mer »
Predikatlogik
Predikatlogik är en del av den matematiska logiken.
Ny!!: Modus tollens och Predikatlogik · Se mer »
Premiss
Premisser är antaganden, som utgör förutsättningar i en härledning.
Ny!!: Modus tollens och Premiss · 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!!: Modus tollens och Satslogik · Se mer »
Slutledningsregel
Slutledningsregler, ibland även kallade härledningsregler, är de grundläggande argumentationssteg som utförs i en härledning.
Ny!!: Modus tollens och Slutledningsregel · Se mer »
Slutsats
En slutsats eller konklusion (av latinets con- "med", claudo, "stänga") är det sista steget i en härledning.
Ny!!: Modus tollens och Slutsats · Se mer »
Tautolog implikation
Tautolog implikation är inom logiken en tautologi, där huvudoperationen är en materiell implikation.
Ny!!: Modus tollens och Tautolog implikation · 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!!: Modus tollens och Tautologi (logik) · Se mer »
Teorem
En sats eller ett teorem (av grekiska θεωρέω, theoreo, "betrakta", "skåda") är ett matematiskt eller logiskt påstående, som är bevisat.
Ny!!: Modus tollens och Teorem · Se mer »