Literaal: verschil tussen versies
Verwijderde inhoud Toegevoegde inhoud
voorbeeld |
plus voorbeelden |
||
Regel 1:
In de [[wiskundige logica]] is een '''literal''' een [[Atoom (logica)|atomaire formule]] (ook wel atoom genoemd) of de [[logische negatie|negatie]] ervan. Literals kunnen onderverdeeld worden in:
*een '''positieve literal''': een atoom (bijvoorbeeld <math>p</math>).
*een '''negatieve literal''': de negatie van een atoom (bijvoorbeeld <math>\neg p</math>).
Een '''pure literal''' is een literal die in een formule alleen positief of alleen negatief voorkomt. De literal <math>p</math> is bijvoorbeeld puur in <math>(p \vee q) \wedge (\neg r \vee p)</math>.
Twee literals zijn '''complementair''' als de één de negatie is van de ander, bijvoorbeeld ''p'' en ¬''p''.
| |||