¿Qué es?
Es la formalización de una frase declarativa que no se puede descomponer en otras más simples.
Fuente: Recurso de aprendizaje (UOC) - Lógica de enunciadosPáginas: 8
Es la formalización de una frase declarativa que no se puede descomponer en otras más simples.