Fórmula atómica

En lógica matemática, una fórmula atómica (también conocida como átomo o fórmula prima) es una fórmula sin estructura proposicional más profunda, es decir, una fórmula que no contiene conectores lógicos o, equivalentemente, una fórmula que no tiene subfórmulas estrictas. Los átomos son, por lo tanto, las fórmulas bien formadas más simples de la lógica. Las fórmulas compuestas se forman combinando las fórmulas atómicas utilizando los conectores lógicos.

La forma precisa de las fórmulas atómicas depende de la lógica que se esté considerando; en la lógica proposicional, por ejemplo, una variable proposicional suele denominarse de manera más breve "fórmula atómica", pero, de manera más precisa, una variable proposicional no es una fórmula atómica sino una expresión formal que denota una fórmula atómica. En la lógica de predicados, los átomos son símbolos de predicado junto con sus argumentos, siendo cada argumento un término. En la teoría de modelos, las fórmulas atómicas son simplemente cadenas de símbolos con una firma dada, que puede o no ser satisfactoria con respecto a un modelo dado.

Los términos y proposiciones bien formados de la lógica ordinaria de primer orden tienen la siguiente sintaxis:

Condiciones:

• ${\displaystyle t\equiv c\mid x\mid f(t_{1},\dotsct_{n}$,

es decir, un término se define recursivamente como una constante c (un objeto nombrado del dominio del discurso), o una variable x (que abarca los objetos del dominio del discurso), o una función n-aria f cuyos argumentos son términos t_k. Las funciones asignan tuplas de objetos a objetos.

Proposiciones:

• ${\displaystyle A,B,\equiv P(t_{1},\dotsct_{n} A\wedge B\mid \top \mid A\vee B\mid \bot \mid A\supset B\mid \forall x.\ A\mid \exists x.\ A}$,

es decir, una proposición se define recursivamente como un predicado n-ario P cuyos argumentos son términos t_k, o una expresión compuesta de conectivos lógicos (y, o) y cuantificadores (para-todo, existe) utilizados con otras proposiciones.

Una fórmula atómica o átomo es simplemente un predicado aplicado a una tupla de términos; es decir, una fórmula atómica es una fórmula de la forma P (t₁…, t_n) para P un predicado, y los t_n términos.

Todas las demás fórmulas bien formadas se obtienen componiendo átomos con conectivos lógicos y cuantificadores.

Por ejemplo, la fórmula ∀x. P (x) ∧ ∃y. Q (y, f (x)) ∨ ∃z. R (z) contiene los átomos

• ${\displaystyle P(x)}$
• ${\displaystyle Q(y,f(x)}$
• ${\displaystyle R(z)}$.

Como no aparecen cuantificadores en una fórmula atómica, todas las apariciones de símbolos de variables en una fórmula atómica son libres.

• En teoría modelo, las estructuras asignan una interpretación a las fórmulas atómicas.
• En teoría de la prueba, la asignación de polaridad para las fórmulas atómicas es un componente esencial del enfoque.
• Sentencia atómica

• Hinman, P. (2005). Fundamentos de Lógica MatemáticaUn K Peters. ISBN 1-56881-262-0.