En lógica matemática, un literal es una fórmula atómica o su negación.
Explicación paso a paso:
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
Respuesta:
En lógica matemática, un literal es una fórmula atómica o su negación.
Explicación paso a paso:
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