Hemos construido un lenguaje L suficientemente expresivo como para que nos permita estudiar los esquemas argumentales deductivos en virtud de su estructura proposicional. No sólo es un lenguaje útil para nuestros fines, sino que además tienen una propiedad sumamente atractiva, a saber, es un lenguaje unívoco, es decir, a diferencia del lenguaje natural, no es un lenguaje ambiguo: cada fórmula tiene una sola lectura.
Ahora ya estamos en condiciones de INTERPRETAR nuestro lenguaje, es decir asignar significado a las fórmulas del lenguaje.
Comencemos entonces por asignar significado a las fórmulas más simples. Según nuestra definición, “p” es una variable proposicional, y por lo tanto es una fórmula atómica que representa un enunciado atómico. Ahora bien, para nuestros fines – a saber, estudiar esquemas argumentales deductivos -- ¿nos interesa realmente el contenido o tema del enunciado? Claramente, no. ¿Qué información nos interesa del enunciado? Su valor de verdad. Por lo tanto, diremos que interpretar una variable proposicional es asignarle un valor de verdad.
Como podrá intuirse por todo lo visto anteriormente, para interpretar las fórmulas moleculares, debemos ver como el valor de verdad de las fórmulas moleculares depende de los valores de verdad de las fórmulas que la componen Y DEL CONECTIVO usado.
Para cada conectivo definimos una TABLA DE VERDAD.
CONJUNCIÓN
Para saber que valor tiene (p ^ q) debo saber que valor tiene p y que valor tiene q. Por lo tanto, obtenemos una definición del significado de la conjunción ^ si determinamos que valor de verdad tiene una fórmula molecular que contiene la conjunción como conectivo principal para todas las combinaciones posibles de valores de verdad de las fórmulas que conecta.
Para esto construirmos una tabla de doble entrada donde tomamos en cuenta TODAS las posibles combinaciones de valores de verdad de los componentes y vemos cual es el valor de verdad resultante.
Volvamos a un ejemplo anterior:
p = Juan se golpeó la cabeza
q = Juan está llorando
(p ^ q) = Juan se golpeó la cabeza y está llorando
Como dijimos en su momento, resulta evidente que si “Juan se golpeó la cabeza” y “Juan está llorando” son V entonces “Juan se golpeó la cabeza y está llorando” es verdadera. Pero ¿Qué pasa si Juan no se golpeó la cabeza, o si no está llorando, o si no se golpeó ni está llorando? Entonces afirmar “Juan se golpeó la cabeza y está llorando” no es cierto.
Este es solo un ejemplo, pero un poco de analisis nos llevaría a ver que la definición de la conjunción no cambiaría si en lugar de (p ^ q) analizaramos (p ^ r) o ( r^t). Con el fin de dar una definición general de los conectivos vamos a volver a usar las metavariables A y B que representan, como ya vimos, a cualquier fórmula.
Decimos que la conjunción es verdadera si sus dos componentes son verdaderos y falsa en caso contrario.
|
|
actualizado: 06/06/2003 |
|
http://www.liccom.edu.uy/bedelia/cursos/metodos/materiales/proporcional.html |
|