Literal Count
- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Definition
The total number of literal occurrences in a formula or clause set, counting each appearance of an atomic proposition or its negation separately.