literal

in logic, atomic formula (atom) or its negation

en-GB/ˈlɪtəɹəl/
en-US/ˈlɪdɚəl/

카테고리:

atomic formula