Literal (lògica matemàtica)