Sentencia atómica

La gramática superficial de esas declaraciones puede ocultar la estructura lógica subyacente; véase Filosofía analítica.

Como resultado, una sentencia atómica no contiene conectivos lógicos, variables o cuantificadores.

Como ejemplo, considere F, G, H, letras que representan predicados; a, b, c, constantes individuales; x, y, z, variables; y siendo p una letra sentencial.

A partir de ahí, las siguientes fbfs son sentencias atómicas:

Una sentencia puede ser verdadera o falsa bajo una interpretación que atribuye valores para las variables lógicas.

La traducción puede revelar tales ambiguidades y expresar con precisión el significado pretendido.

Por ejemplo, observe la sentencia en español "El Padre Ted casó a Jack con Jill".

En la traducción debemos hacer las siguientes atribuciones: Constantes individuales: Predicados Usando esas atribuciones la sentencia arriba puede ser traducida de la siguiente manera: Para establecer cuál es la traducción correcta de "El Padre Ted casó a Jack y Jill", sería necesario preguntar al orador exactamente cual el sentido de la sentencia.