Analíticos, enunciados

Analíticos, enunciados. Un enunciado (o proposición) analítico es aquella que se supone verdadera -o falsa-  exclusivamente en referencia al significado de los signos que la expresan. Todos los enunciados de la lógica y las matemáticas son de este tipo sin ser válidas sólo para ellas.  También son aplicables a enunciados o proposiciones semánticas [v] llamadas tautonimias. Así "((p --> q) & p) --> q" y "5 + 7 = 12" son enunciados o proposiciones analíticas verdaderas dada su naturaleza formal [v. Ciencias formales]. En cambio "ningún calvo tiene cabello" o "todos los solteros son hombres no casados" son enunciados analíticos verdaderos por el significado de "cabello", "calvo", "solteros" y "casados". Otra de sus característica es que para determinar su verdad -o falsedad- no se requiere acudir a la experiencia.