Versie van 27 nov 2009 23:38 bewerken Simeon (overleg \| bijdragen) uitgebreid bevestigde gebruikers 35.712 bewerkingen Geen bewerkingssamenvatting ← Oudere bewerking		Versie van 27 nov 2009 23:41 bewerken ongedaan maken Simeon (overleg \| bijdragen) uitgebreid bevestigde gebruikers 35.712 bewerkingen Geen bewerkingssamenvatting Nieuwere bewerking →
Regel 6: :<math>r \lor \lnot r</math> Om te controleren of een logische formule een tautologie is, kan men een [[waarheidstabel]] construeren voor de formule. Als blijkt dat de formule waar is voor elke mogelijke toekenning van waar of onwaar aan de atomaire formules, dan is het een tautologie. == Construeren van tautologieën ==

Tautologie (logica): verschil tussen versies