Question

¿Qué es una literal?​

Answer 1

Respuesta:

En lógica matemática, un literal es una fórmula atómica o su negación. La definición del concepto se haya sobre todo en la teoría de la demostración. Se pueden considerar dos tipos de variables: Positivo: un átomo. Negativo: la negación de un átomo