Fórmula atómica
Fórmula atómica , fórmula elemental o simplemente átomo , en lógica matemática , el caso más simple de una fórmula lógica ; una fórmula que no se puede dividir en subfórmulas .
El caso más simple de átomos son fórmulas que definen relaciones. Por ejemplo, la afirmación "x es mayor que 3" se describe mediante el átomo MAYOR (x,3), donde el predicado MÁS es verdadero cuando el primer argumento es mayor que el segundo. De manera similar, al escribir "x ama a y" como AMA (x, y), uno puede representar la oración "Sasha ama a Dasha" como AMA ( Sasha , Dasha ).
En lógica de primer orden , los átomos también pueden incluir símbolos de función . La forma general del átomo en este caso es la siguiente: , donde es el predicado símbolo de aridad , y son los términos . Por ejemplo, si PADRE(x) significa "el padre de la persona x", la oración "Vanya ama a su padre" puede ser representada por el átomo AMA ( Vanya , PADRE ( Vanya )).
