Literaal: verschil tussen versies

Verwijderde inhoud Toegevoegde inhoud
Termininja (overleg | bijdragen)
k move interwiki links in wikidata
opmaak
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. Literals kunnen onderverdeeld worden in:
 
*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>.
 
Twee literalen zijn '''complementair''' als de een de negatie is van de ander, bijvoorbeeld ''p'' en &not;''p''.
 
Een literaal is '''maximaal''' in een [[Clausule (logica)|clausule]] als de literaal de grootste is op basis van een bepaalde ordening van literalen.
 
[[Categorie:Logica]]