14 relationer: Deduktionsteoremet, Georg Henrik von Wright, Indirekt bevis, Konjunktion (logik), Kontradiktion, Konträra satser, Logik, Negation, Paradox, Predikatlogik, Reductio ad absurdum-regeln, Satslogik, Tankelagar, Tautologi (logik).
Deduktionsteoremet
Deduktionsteoremet (även kallad "CP-regeln", från engelska: Conditional Proof) är ett metateorem inom satslogiken.
Ny!!: Motsägelse och Deduktionsteoremet · Se mer »
Georg Henrik von Wright
Georg Henrik von Wright, född 14 juni 1916 i Helsingfors, död 16 juni 2003 i Helsingfors, var en finlandssvensk filosof.
Ny!!: Motsägelse och Georg Henrik von Wright · 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!!: Motsägelse och Indirekt bevis · Se mer »
Konjunktion (logik)
Inom logik och matematik är konjunktion ett konnektiv, som betecknas med symbolen \land eller symbolen \cdot, och utläses som "och".
Ny!!: Motsägelse och Konjunktion (logik) · Se mer »
Kontradiktion
Kontradiktion.
Ny!!: Motsägelse och Kontradiktion · Se mer »
Konträra satser
Konträra satser eller konträra påståenden, är begrepp hämtade från predikatlogiken.
Ny!!: Motsägelse och Konträra satser · Se mer »
Logik
Logik är i bred bemärkelse läran om vad som gör ett resonemang eller en argumentation giltig.
Ny!!: Motsägelse och Logik · Se mer »
Negation
Negation är i logiken ett förnekande av en sats på ett sådant sätt att, om satsen A är sann, så är icke-A falsk och om A är falsk, så är icke-A sann.
Ny!!: Motsägelse och Negation · Se mer »
Paradox
En paradox är en oöverenstämmelse mellan vad en teori utsäger och vad sunda förnuftet förväntar.
Ny!!: Motsägelse och Paradox · Se mer »
Predikatlogik
Predikatlogik är en del av den matematiska logiken.
Ny!!: Motsägelse och Predikatlogik · 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!!: Motsägelse 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!!: Motsägelse och Satslogik · Se mer »
Tankelagar
Tankelagar kallas de fundamentala lagar, eller logiska principer, som är självklara och inte behöver bevisas för att accepteras.
Ny!!: Motsägelse och Tankelagar · 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.