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.