Ésta podría ser una edición anterior y no la más reciente o aprobada. Ir a la versión actual.
¿Qué es?
No se ha añadido ninguna twiki todavía.
En lógica de enunciados, expresión que consta de una sola letra de enunciado. Una letra de enunciado sustituye -y corresponde- a un enunciado simple.
«p» es la fórmula simple que corresponde, por ejemplo a «El sol sale cada día», mientras que «¬p» sería una fórmula molecular, por adición de una conectiva monádica, que representa una función lógica: la negación.
Pa, «x es bueno», «x es mayor que y», son fórmulas atómicas que corresponden, por ejemplo, a enunciados tales como «Ana participa», «el mundo es bueno», «el 3 es mayor que el 2», respectivamente.