13 relaties: Bewijs uit het ongerijmde, Drogreden, Eliminatie van dubbele negatie, Klassieke logica, Latijn, Logica, Logische equivalentie, Meerwaardige logica, Natuurlijke deductie, Propositie, Vals dilemma, Waarheid, Waarheidswaarde.
Bewijs uit het ongerijmde
Een bewijs uit het ongerijmde, Latijn reductio ad absurdum, herleiding tot het absurde, soms ook indirect bewijs genoemd, is een bewijsmethode in de logica en de wiskunde.
Nieuw!!: Wet van de uitgesloten derde en Bewijs uit het ongerijmde · Bekijk meer »
Drogreden
''Wanneer een Bewys de gedaante van Waarheid met zich brengt en evenwel ons doet dwaalen, is 't een Drogreden.'' Isaac Watts, 1757. Een drogreden, schijnreden of sofisme is een reden of redenering die niet correct is, maar wel aannemelijk lijkt.
Nieuw!!: Wet van de uitgesloten derde en Drogreden · Bekijk meer »
Eliminatie van dubbele negatie
In de klassieke logica is eliminatie van dubbele negatie (ook: dubbele negatie-eliminatie) een afleidingsregel die stelt dat twee opeenvolgende negaties weggehaald mogen worden aangezien de resulterende formule logisch equivalent is met de voorgaande.
Nieuw!!: Wet van de uitgesloten derde en Eliminatie van dubbele negatie · Bekijk meer »
Klassieke logica
In de wiskundige logica wordt een logica klassiek genoemd, wanneer ze tweewaardig is en in die logica de wet van de uitgesloten derde geldt.
Nieuw!!: Wet van de uitgesloten derde en Klassieke logica · Bekijk meer »
Latijn
Latijn (Lingua Latina) is een Italische taal die oorspronkelijk werd gesproken door de Latijnen, onder wie ook het bekendste Latijnse volk, de Romeinen.
Nieuw!!: Wet van de uitgesloten derde en Latijn · Bekijk meer »
Logica
Boeken over logica Logica of redeneerkunst is de wetenschap die zich bezighoudt met de formele regels van het redeneren.
Nieuw!!: Wet van de uitgesloten derde en Logica · Bekijk meer »
Logische equivalentie
In de logica zijn twee uitspraken logisch equivalent als zij dezelfde logische betekenis hebben.
Nieuw!!: Wet van de uitgesloten derde en Logische equivalentie · Bekijk meer »
Meerwaardige logica
Meerwaardige logica (Multi-Valued Logic of MVL) is een verzamelnaam voor alle logische systemen waarbij zinnen niet alleen maar "waar" of "onwaar" kunnen zijn, maar ook een andere waarheidswaarden kunnen hebben.
Nieuw!!: Wet van de uitgesloten derde en Meerwaardige logica · Bekijk meer »
Natuurlijke deductie
Natuurlijke deductie is een methode om via deductie met noodzakelijkheid de geldigheid van een redenering conform vastgestelde regels te bewijzen in de logica.
Nieuw!!: Wet van de uitgesloten derde en Natuurlijke deductie · Bekijk meer »
Propositie
Een propositie of bewering is in de logica een declaratieve zin die of waar of onwaar kan zijn.
Nieuw!!: Wet van de uitgesloten derde en Propositie · Bekijk meer »
Vals dilemma
Een vals dilemma, valse tweedeling of valse dichotomie (ook wel zwart-witdenken genoemd) is een drogreden of denkfout waarbij twee alternatieven voorgesteld worden als de enige mogelijkheden, terwijl er in werkelijkheid nog andere zijn.
Nieuw!!: Wet van de uitgesloten derde en Vals dilemma · Bekijk meer »
Waarheid
Walter Seymour Allward, ''Veritas'', 1920 Waarheid is het in overeenstemming zijn met de werkelijkheid.
Nieuw!!: Wet van de uitgesloten derde en Waarheid · Bekijk meer »
Waarheidswaarde
In de wiskunde en de logica is de waarheidswaarde van een propositie de waarde die aangeeft in welke mate de propositie waar is.
Nieuw!!: Wet van de uitgesloten derde en Waarheidswaarde · Bekijk meer »
Richt hier:
Tertium non datur, Uitgesloten derde, Wet van uitgesloten midden.