Versie van 4 aug 2019 09:18 bewerken Madyno (overleg \| bijdragen) 34.753 bewerkingen Geen bewerkingssamenvatting ← Oudere bewerking		Versie van 2 mei 2020 14:45 bewerken ongedaan maken Madyno (overleg \| bijdragen) 34.753 bewerkingen Geen bewerkingssamenvatting Nieuwere bewerking →
Regel 1: In de [[wiskundige logica]] is een '''literaal''' (Engels: ''literal'') een [[Atoom (logica)\|atomaire formule]] (ook wel atoom genoemd) of de [[logische negatie\|negatie]] ervan. ~~Literalen kunnen onderverdeeld worden in:~~ Een literaal wordt ''positief'' genoemd als het een atoom is, en ''negatief'' als het de negatie van een atoom is. een ''positieve literaal'': een atoom (bijvoorbeeld <math>p</math>). een ''negatieve literaal'': de negatie van een atoom (bijvoorbeeld <math>\neg p</math>). Een ''pure literaal'' is een literaal die in een formule alleen positief of alleen negatief voorkomt. De literaal <math>p</math> is bijvoorbeeld puur in <math>(p \vee q) \wedge (\neg r \vee p)</math>. Een atoom en z'n negatie worden ''complementaire'' literalen genoemd. ~~Twee literalen zijn ''complementair'' als de een de negatie is van de ander, bijvoorbeeld ''p'' en ¬''p''.~~ Een literaal is ''maximaal'' in een [[Clausule (logica)\|clausule]] als de literaal de grootste is op basis van een bepaalde ordening van literalen.

Literaal: verschil tussen versies