7/7/2020 Fórmula atómica - Wikipedia, la enciclopedia libre

Fórmula atómica
En lógica formal, una fórmula atómica es una fórmula bien formada que no tiene una estructura
formal más profunda. Esto es, una fórmula que no contiene conectivas lógicas, o equivalentemente,
una fórmula que no tiene subfórmulas estrictas. De esta manera, las fórmulas atómicas son las
fórmulas bien formadas más simples del lenguaje de la lógica. Las fórmulas compuestas (o
moleculares) son formadas combinando las fórmulas atómicas usando las constantes lógicas.

La forma de las fórmulas atómicas depende del sistema lógico con el cual se esté trabajando. En la
lógica proposicional, por ejemplo, las fórmulas atómicas son las variables proposicionales. En lógica
de predicados, son los predicados junto con sus argumentos.

Índice
En lógica de primer orden
Véase también
Bibliografía
Enlaces externos

En lógica de primer orden

Para definir una fórmula atómica en la lógica de primer orden, primero es necesario definir la noción
de término. La misma se define recursivamente a través de las siguientes cuatro cláusulas:

1. Todos los nombres (o constantes de individuo) son términos. Por ejemplo, el numeral «2» y el
nombre «Abel» son términos.
2. Todas las variables (o variables de individuo) son términos. Por ejemplo, la variable «x» es un
término.
3. Una función cuyos argumentos sean términos es un término. Por ejemplo, «el sucesor de 2» y
«el padre de Abel» son términos.
4. Nada más es un término.

Más formalmente, esto se puede expresar de la siguiente manera:

A partir de la noción de término se puede definir recursivamente la noción de fórmula bien formada
del siguiente modo:

1. Si P es un predicado n-ario y t1,...,tn son términos, entonces P(t1,...,tn) es una fórmula bien
formada.
2. Si A es una fórmula bien formada, entonces ¬A también lo es.
3. Si A y B son fórmulas bien formadas, entonces (A ∧ B), (A ∨ B), (A → B), (A ↔ B) también lo son.
4. Si A es una fórmula bien formada y x una variable, entonces ∀x A y ∃x A también lo son.
5. Nada más es una fórmula bien formada.

Más formalmente:
https://es.wikipedia.org/wiki/Fórmula_atómica 1/2
7/7/2020 Fórmula atómica - Wikipedia, la enciclopedia libre

Dada la definición de fórmula bien formada, una fórmula atómica, o átomo, es simplemente una
fórmula bien formada sin constantes lógicas, o equivalentemente, una fórmula bien formada
generada solamente mediante la primera cláusula de la definición recursiva.

Por ejemplo, considérese la fórmula compleja:

∀x [R(a,x) ∨ ¬P(f(a))] ∧ ∃y P(y)

Esta fórmula contiene las siguientes fórmulas atómicas:

R(a,x)
P(f(a))
P(y)

Véase también
Lógica matemática
Lógica proposicional
Lógica de primer orden

Bibliografía
Hinman, P. (2005). Fundamentals of Mathematical Logic. A K Peters. ISBN 1-568-81262-0.

Enlaces externos
Weisstein, Eric W. «Atomic Statement» (http://mathworld.wolfram.com/AtomicStatement.html).
En Weisstein, Eric W, ed. MathWorld (en inglés). Wolfram Research.

Obtenido de «https://es.wikipedia.org/w/index.php?title=Fórmula_atómica&oldid=117438100»

Esta página se editó por última vez el 15 jul 2019 a las 16:47.

El texto está disponible bajo la Licencia Creative Commons Atribución Compartir Igual 3.0; pueden aplicarse cláusulas
adicionales. Al usar este sitio, usted acepta nuestros términos de uso y nuestra política de privacidad.
Wikipedia® es una marca registrada de la Fundación Wikimedia, Inc., una organización sin ánimo de lucro.

https://es.wikipedia.org/wiki/Fórmula_atómica 2/2