bn:01456368n
Noun Concept
Categories: Afleidingsregel
NL
eliminatie van dubbele negatie  Introductie van dubbele negatie
NL
In de klassieke logica is eliminatie van dubbele negatie een afleidingsregel die stelt dat twee opeenvolgende negaties weggehaald mogen worden aangezien de resulterende formule logisch equivalent is met de voorgaande. Wikipedia
Definitions
Relations
Sources
NL
In de klassieke logica is eliminatie van dubbele negatie een afleidingsregel die stelt dat twee opeenvolgende negaties weggehaald mogen worden aangezien de resulterende formule logisch equivalent is met de voorgaande. Wikipedia
Een afleidingsregel die stelt dat twee opeenvolgende negaties weggenomen mogen worden Wikipedia Disambiguation