verdad formal








COMPETENCIA
INDICADORES
Desarrolla habilidades lógico-matemáticas para identificar y plantear problemas de la realidad y tomar decisiones para su resolución, desenvolviéndose con responsabilidad y actitud proactiva.
Formaliza expresiones verbales utilizando el lenguaje proposicional.
Determina el valor de verdad de proposiciones compuestas aplicando el valor de verdad de lasproposiciones simples.



En lógica matemática, una función de verdad, es una función que toma un conjunto de valores de verdad y devuelve un valor de verdad. Clásicamente el dominio y rango de una función de verdad son (V o F). Para que una oración o proposición pueda tener un conocimiento y ser calificada de verdadera o falsa, es necesario que tenga sentido enunciativo. Sólo por laenunciación, en efecto, nos dice algo del mundo y puede aceptársela o rechazársela como vehículo de información. La verdad o falsedad no concierne, por tanto, a la función expresiva y operativa del sentido, sino a la significativa.
Siguiendo la formulación hecha por el lógico polaco Alfred Tarski, veamos cómo puede determinarse el sentido verdadero y falso. Tenemos como ejemplo las dos proposiciones:a. La Tierra es mayor que la Luna.
b. El Perú está al norte de Ecuador.
Demos por sentado que la primera es verdadera y la segunda es falsa. Usamos normalmente el término verdadero para designar una propiedad, (en este caso la primera), propiedad que le conviene no simplemente por ser una proposición, sino porque informa sobre un determinado estado de cosas que es efectivamente así como elladice.
Una verdad lógica, es una fórmula bien formada de un lenguaje formal que es verdadera bajo todas las interpretaciones de los componentes de ese lenguaje. En algunos contextos, las verdades lógicas se conocen como fórmulas lógicamente válidas. Dos características generalmente aceptadas de las verdades lógicas son formales y necesarias.
Todo sistema teórico que no cuente con la verdad lógicaformal, no tiene garantía de ser verdaderamente científica por no contar con las condiciones necesarias de la verdad objetiva. No podemos decir que a la ciencia le basta la verdad formal, sino más bien que la verdad como propiedad del pensamiento, que refleja adecuadamente el objeto real del conocimiento, es una condición suficiente, ya que aún el que conoce de modo cotidiano le basta. Luego en laciencia es necesaria la verdad lógica formal y es suficiente la verdad empírico teórica.
Es así que la lógica tiene su propia verdad, es esta una verdad que depende de la combinación de sus propios elementos. En este sentido, es una verdad funcional. La verdad es una función de la forma como se combinan los elementos. Por eso, es una verdad extrínseca, inmanente. No ha necesitado de otroselementos externos para decidir la verdad. Es una verdad que surge de sus propias estructuras lógicas. Y la lógica ha establecido reglas precisas para determinar esa verdad o falsedad comenzando por estructuras simples.


FUNCIÓN DE VERDAD:
Es la correspondencia que existe entre el conjunto de proposiciones y sus valores de verdad.


VERDAD FORMAL:
La verdad formal es aquella que se obtieneevaluando esquemas moleculares, haciendo uso de reglas de conectores lógicos y tablas de verdad.


VARIABLES PROPOSICIONALES:
Es la representación literal de una proposición simple o atómica: p, q, r,…


CONECTORES LÓGICOS: Reciben también la denominación de términos funcionales, relacionales u operadores, permiten unir o enlazar las proposiciones simples para formar proposiciones compuestas.Sus clases son:

a. Monádicos: Son los que afectan a una sola proposición simple (negador).
b. Binádicos: Son los que enlazan a dos proposiciones simples (Conjuntor, Disyuntor Inclusivo, Disyuntor Exclusivo, Implicador, Replicador, Bi-implicador).


TABLAS DE VERDAD:
Es un conjunto ordenado de valores de verdad de proposiciones compuestas, que resultan de la aplicación de reglas de los...