Hola
La física atómica y la física nuclear tratan cuestiones distintas, la primera trata con todas las partesdel átomo, mientras que la segunda lo hace sólo con el núcleo del átomo, siendo este último especial por su complejidad. Se podría decir que la física atómica trata con las fuerzas electromagnéticasdel átomo y convierte al núcleo en una partícula puntual, con determinadas propiedades intrínsecas de masa, carga y espín. En lógica formal, una fórmula atómica es una fórmula bien formada que no tieneuna 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ómicasson 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 delas 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 depredicados, son los predicados junto con sus argumentos.
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 através de las siguientes cuatro cláusulas:
Todos los nombres (o constantes de individuo) son términos. Por ejemplo, el numeral «2» y el nombre «Abel» son términos.
Todas las variables (ovariables de individuo) son términos. Por ejemplo, la variable «x» es un término.
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....
Regístrate para leer el documento completo.