fórmula atómica

Concepto de lógica matemática

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

La forma precisa de las fórmulas atómicas depende de la lógica que se considere; para la lógica proposicional , por ejemplo, una variable proposicional a menudo se denomina más brevemente "fórmula atómica", pero, más precisamente, una variable proposicional no es una fórmula atómica sino una expresión formal que denota una fórmula atómica. Para la lógica de predicados , los átomos son símbolos de predicados 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 determinada , que pueden ser satisfactorias o no con respecto a un modelo determinado. ^[1]

Fórmula atómica en lógica de primer orden

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

Términos :

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

es decir, un término se define recursivamente como una constante c (un objeto con nombre del dominio del discurso ), o una variable x (que abarca los objetos en el 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},\dotsc ,t_{n})\mid 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-todos, existe) usados ​​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érminos t _{n .}

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

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 variables en una fórmula atómica son libres. ^[2]

Ver también

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

Referencias

1. Hodges, Wilfrid (1997). Una teoría del modelo más corto . Prensa de la Universidad de Cambridge. págs. 11-14. ISBN 0-521-58713-1.
2. WVO Quine, Lógica matemática (1981), p.161. Prensa de la Universidad de Harvard, 0-674-55451-5

Otras lecturas

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