리터럴,literal

리터럴,literal (rev. 1.12)

논리학의 literal

리터럴은 atomic formula(aka 'atom' or 'prime formula') or its negation.
리터럴이란, 원자식,atomic_formula(원자식,atom) 혹은 그것의 부정,negation.

리터럴들의 disjunction절,clause.