Literal

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Definition
Eine atomare Formel oder ihre Negation, häufig verwendet als Grundeinheit in klausebasierten Darstellungen und Erfüllbarkeitsverfahren.