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.