Fórmula atómica

Fórmula atómica

En lógica matemática, 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 constantes 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 formulas atomicas depende de la lógica con la 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.

Contenido

En lógica de primer orden

Artículo principal: 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.

Mas formalmente, esto se puede expresar de la siguiente manera:

t \equiv a \ | \ x \ | \ f^n (t_1, ..., t_n)

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:

A, B, ... \equiv P^n (t_1, ..., t_n) \ | \ \neg A \ | \ A \and B \ | \ A \or B \ | \ A \to B \ | \ A \leftrightarrow B \ | \ \forall x A \ | \ \exists x A

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

Bibliografía

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

Enlaces externos


Wikimedia foundation. 2010.

Игры ⚽ Поможем написать курсовую

Mira otros diccionarios:

  • Fórmula de Rydberg — La Fórmula Rydberg es usada en la física atómica para describir las longitudes de ondas de las líneas espectrales de muchos elementos químicos. La fórmula fue inventada por el físico Johannes Rydberg y presentada el 5 de Noviembre de 1888.… …   Wikipedia Español

  • Masa atómica — La masa atómica (ma) es la masa de un átomo, más frecuentemente expresada en unidades de masa atómica unificada.[1] La masa atómica puede ser considerada como la masa total de protones y neutrones en un solo átomo (cuando el átomo no tiene… …   Wikipedia Español

  • Teoría atómica — Varios átomos y moléculas según John Dalton, en su libro A New System of Chemical Philosophy (Nuevo Sistema de Filosofía Química, 1808). En física y química, la teoría atómica es una teoría de la naturaleza de la materia, que afirma que está… …   Wikipedia Español

  • Leda Atomica — Infobox Painting| backcolor=#FBF5DF painting alignment=right image size=300px title=Leda Atomica artist=Salvador Dalí year=1949 type=Oil on canvas height=61.1 width=45.3 height inch= width inch = diameter cm = diameter inch = city= Figueres… …   Wikipedia

  • Contracción atómica en series de la tabla periódica — La contracción atómica en series de la tabla periódica define la disminución gradual de los tamaños atómicos de los elementos químicos en función del número atómico.Por tanto, es una propiedad periódica como consecuencia del aumento de la carga… …   Wikipedia Español

  • Cálculo relacional — Saltar a navegación, búsqueda El Cálculo relacional es un lenguaje de consulta que describe la respuesta deseada sobre una Base de datos sin especificar como obtenerla, a diferencia del Álgebra relacional que es de tipo procedural, el cálculo… …   Wikipedia Español

  • Literal (lógica matemática) — En lógica matemática, un literal es una fórmula atómica o la negación de una. Los literales pueden se pueden caracterizar en dos tipos de acuerdo a su signo: Un literal positivo es una fórmula atómica. Un literal negativo es la negación de una… …   Wikipedia Español

  • Tautología — Para otros usos de este término, véase Tautología (retórica). En lógica, una tautología (del griego ταυτολογία, decir lo mismo ) es una fórmula bien formada de un sistema de lógica proposicional que resulta verdadera para cualquier… …   Wikipedia Español

  • Tautología (lógica) — Saltar a navegación, búsqueda En lógica, una tautología (del griego ταυτολογία, decir lo mismo) es una fórmula bien formada de un sistema lógico que resulta verdadera para cualquier interpretación; es decir, para cualquier asignación de valores… …   Wikipedia Español

  • Wikipedia:Asistente para la creación de artículos/Artículos creados — Esta página está en una vitrina del museo de Wikipedia. Por favor, no la edites; ya no se usa …   Wikipedia Español

Compartir el artículo y extractos

Link directo
… Do a right-click on the link above
and select “Copy Link”