Literal (First-order Logic)

Definition