CORPORATIVO INTERNACIONAL UNIVERSITARIO

VERDAD Y VALIDEZ
Carolina Leyva Arciniega
Segundo cuatrimestre

VERDAD Y VALIDEZ
En lgica simblica, las nociones de verdad y de validez son claramente diferentes. La verdad es una nocin semntica que alude a una relacin entre una expresin y un estado de cosas. Si tomamos una forma proposicional, como sta no posee significado semntico referido al mundo aunque s significado lgico-, la verdad se refiere a posibilidades, a la posibilidad de ser verdadera en interpretaciones eventuales. Por ejemplo, p y q, ser verdadera en toda interpretacin donde p sea verdadera y q tambin sea verdadera, y slo en ese caso. Otra forma de decirlo es que esa forma proposicional ser verdadera en todo mundo posible donde p por un lado y q por otro sean verdaderas. Una tautologa, entonces, es una expresin verdadera en todo mundo posible, lo que significa que es imposible que haya una interpretacin (bajo el principio de no contradiccin) en la que sea falsa. La validez en cambio es una propiedad formal de una forma o estructura de razonamiento, definida como la imposibilidad de que las premisas sean verdaderas y la conclusin sea falsa para cualquier interpretacin posible bajo el principio de no contradiccin.

VALORES DE LA VERDAD Y TERMINOS DE ENLACE

Tablas de verdad Son un instrumento empleado en la lgica proposicional, para indicar las diferentes interpretaciones de una frmula y el resultado de las mismas. Representan de manera grfica todas las posibles combinaciones de los valores de verdad que se formen de las proposiciones. Sus valores pueden ser V (verdadero) o F (falso), 1 (encendido) o 0 (apagado), para saber cuntas filas deben utilizarse se aplican la frmula 2 Donde 2 representa los dos posibles valores que puede tomar y n es el nmero de proposiciones con las que se forme la formula. (Este tema lo abundaremos ms adelante). Proposiciones atmicas y moleculares Las proposiciones pueden constar de un solo enunciado o de varios, en el primer caso las denominamos proposiciones atmicas y en segundo moleculares. Proposicin Atmica Una proposicin es atmica cuando no posee conectivos lgicos. Son entonces las ms simples. Ejemplos: En el invierno hace frio. Mxico est en crisis econmica.

Proposicin compuesta o molecular Es una o ms proposiciones atmicas adecuadamente escritas, unidas con trminos de enlace. Ejemplos: En el invierno hace frio y en algunos lugares cae nieve. Mxico est en crisis econmica si y solo si se devala la moneda. No es difcil desarrollar un software. Proposicin con forma Disyuntiva o Disyuncin Una proposicin Disyuntiva, es aquella que est formada por proposiciones atmicas o moleculares, digamos p y q, con el conectivo Lgico o. Se simboliza as: V, se escribe: p v q y se lee: p o q Existen dos operadores de disyuncin: La disyuncin exclusiva o excluyente y la disyuncin inclusiva o incluyente. Disyuncin Inclusiva Son dos o ms proposiciones de las cueles puedo elegir una o ms de una, se caracteriza por permitir que las proposiciones que contiene sean todas verdaderas, as que se le llama tambin Incluyente. A continuacin se presenta una tabla de los valores que puede tener la Disyuncin Inclusiva: El joven se encuentra ante dos situaciones que reflejaremos en las siguientes proposiciones: p: Juan saca 10 en su examen semanal. q: Juan lava el coche de su pap de lunes a viernes. p v q: Juan saca 10 en su examen semanal o lava el coche de su pap de lunes a viernes. pq VV VF FV FF pqpvq VVV VFV FVV FFF Supongamos que un pap le dice a su hijo llamado Juan:

Para que te deje ir al antro el fin de semana debes cumplir una de estas dos condiciones: Traer 10 en tu examen de esta semana o lavarme el coche todos los das desde el lunes hasta el viernes Matemticas discretas Debemos fijarnos que su pap le pidi cumplir con p o cumplir con q, significa que Juan puede cumplir con una sola de estas tareas para poder ir al antro. Las posibles situaciones en las que Juan se podra caer para ir al antro son: Con esto podemos ver que para que Juan no vaya al antro, tanto p como q deben ser falsas. La disyuncin inclusiva entre dos proposiciones es falsa solo si ambas proposiciones son falsas. Disyuncin Exclusiva Son dos o ms proposiciones de las cueles puedo elegir solo una, no permite que las proposiciones que contiene sean todas verdaderas, as que se le llama tambin excluyente. La siguiente tabla muestra los posibles valores que puede tomar la disyuncin Excluyente: El joven se encuentra ante dos situaciones que reflejaremos en dos proposiciones: p: Juan se inscribe en ing. en sistemas. q: Juan se inscribe en ing. en mecatrnica. p q: Juan se inscribe en ing. en sistemas o se inscribe en ing. en mecatrnica. En este caso Juan tiene ambas opciones y puede cumplir solo con una de ellas: Las posibilidades de que Juan siga estudiando se reducen a pesar de tener dos opciones. Situaciones p q p q Juan pudo sacar 10 en su examen y lav el coche todos los das. V V V Juan pudo sacar 10 en su examen, pero no pudo lavar el coche todos los das. V F V Juan no pudo sacar 10 en su examen, pero lav el coche todos los das. F V V Juan no pudo sacar 10 en su examen y tampoco lav el coche todos los das. F F F pqp q VVF VFV FVV FFF Situaciones p q p q Juan se inscribe en ing. en sistemas y en ing. en mecatrnica V V F Juan solo se inscribe en ing. en sistemas. V F V Juan solo se inscribe en ing. en mecatrnica. F V V Juan no se inscribe en ningunas de las dos carreras F F F

Supongamos que un pap le dice a su hijo llamado Juan: Para poder seguir estudiando debes tomar la decisin de inscribirte en Ing. en sistemas o en Ing. en mecatrnica, pero no en ambas Nota Frecuentemente y cuando no es claro en el contexto de la oracin se indica que una disyuncin es incluyente oexcluyente respectivamente, terminando la frase con o ambas o pero no ambas. Asi pudimos haber dcho: Juan se inscribe en ing. en sistemas o se inscribe en ing. en mecatrnica, pero no en ambas.Matemticas discretas Proposicin conjuncional o conjuncin Una conjuncin de proposiciones es verdadera si y slo si cada una de ellas es verdadera. Basta que un solo trmino de la conjuncin sea falso para que toda la conjuncin sea falsa. En espaol, normalmente la conjuncin se expresa por medio de la y, de comas o de una combinacin de estas, o palabras como pero. Se dice que una conjuncin es verdadera solamente cuando cada una de las proposiciones que la conforman son verdaderas: Juan se encuentra ante las mismas dos situaciones anteriores, que reflejaremos en dos proposiciones: p: Juan saca 10 en su examen semanal. q: Juan lava el coche de su pap de lunes a viernes. Pero en este caso Juan debe cumplir con ambas proposiciones para poder ir al antro, ya que su pap utiliz la conjuncin y: Las posibilidades de que Juan vaya al antro se reducen. Proposicin con forma de Negacin La negacin es una operacin unitaria que se aplica a una proposicin y tiene el efecto de revertir el valor de verdad. Se simboliza as: o con el smbolo , se escribe: p y se lee: No p; negacin de p; o, No es cierto que p, esto es, si p es verdadera entonces p es falsa, y si p es falsa entonces p es verdadera. Una proposicin de este tipo, puede estar formada por una proposicin atmica o molecular a diferencia de los otros conectivos que afectan a ms de una, digamos p, con el conectivo Lgico No.

p p VF FV O puede estar formado por una proposicin compuesta o molecular.Ejemplo: pqp q VVV VFF FVF FFF Situaciones p q p q Juan pudo sacar 10 en su examen y lav el coche todos los das. V V V Juan pudo sacar 10 en su examen, pero no pudo lavar el coche todos los das. V F F Juan no pudo sacar 10 en su examen, pero lav el coche todos los das. F V F Juan no pudo sacar 10 en su examen y tampoco lav el coche todos los das. F F F p q p q (p q) VVVF VFFV FVFV FFFV Supongamos que un pap le dice a su hijo llamado Juan: Para que te deje ir al antro el fin de semana debes traer 10 en tu examen de esta semana y lavarme el coche todos los das desde el lunes hasta el viernes p: Juan va al antro p: Juan no va al antro En este caso la negacin afecta a toda una proposicin

DIAGRAMAS DE VALORES DE VERDAD

TABLAS DE VERDAD DE LAS OPERACIONES LOGICAS: DEFINICIONES NEGACIN La negacin de una proposicin sustituida por la variable p es la proposicin no p, pcuya tabla de valores de verdad es: P p V F F V

Se trata de una operacin unitaria o mondica, pues a partir de una proposicin seobtiene otra, que es su negacin CONJUNCIN La conjuncin de las prop. p y q es la prop. "p q" cuya tabla de verdad es ( cuatro combinaciones posibles) P V V F F q pq V V F F V F F F

La conjuncin de dos proposiciones es V si y solo si ambas proposiciones son verdaderas; en todo otro caso es F. Es una operacin binaria o didica porque a partir de dos proposiciones atmicas obtenemos una molecular. Ejemplo: Sea p : llueve, q : sale el sol pq: Llueve y sale el sol pq: A la vez llueve y sale el sol pq: Llueve pero sale el sol pq: Llueve aunque sale el sol pq: Llueve sin embargo sale el sol DISYUNCIN Una disyuncin es una prop. molecular formada por el trmino de enlace " o". En ladisyuncin se utiliza el sentido incluyente. Esto significa que en cualquier disyuncin, porlo menos una de las dos prop. es cierta y quizs ambas. Hay cuatro combinacionesposibles de valores de certeza: p q pq V V V V F V F V V F F F Es una operacin binaria o didica, porque a partir de dos proposiciones atmicas seobtiene una molecular.

Ejemplo: La lgica es difcil o la profesora explica mal . p: la lgica es difcil q: la profesora explica mal Si por lo menos una de las proposiciones atmicas es V, entonces la disyuncin es V; adems, si ambas proposiciones son V, entonces, la disyuncin tambin ser V. Si las proposiciones son ambas F, la disyuncin ser F. CONDICIONAL ( pq ) Los elementos del condicional se denominan antecedente y consecuente. El condicionalusual en matemtica es material en el sentido de que no es necesario que los consecuentes e derive lgicamente del antecedente. Cuando esto ocurre, el condicional se llama formal y queda incluido en el primero. Ej. de condicional material: Si 2+2= 4 entonces hoy es lunes Ej. de condicional formal: Si 2+2= 4 entonces 4= 2+2 La tabla de valores de verdad es: p q pq V V V V F F F V V F F V Ejemplo: sea p la variable que sustituye a la proposicin Curso la licenciatura en Pedagoga De la Matemtica, q representa a la proposicin Estoy entusiasmado, el condicional entre ambas est dado por: p q: Si curso la licenciatura en Pedagoga De la Matemtica entonces estoy entusiasmado p q: Si curso la tecnicatura, estoy entusiasmado p q: Cursar la tecnicatura implica estar entusiasmado p q: Curso la tecnicatura slo si estoy entusiasmado p q: Estoy entusiasmado si curso la tecnicatura p q: Para estar entusiasmado, es suficiente cursar la tecnicatura p q: Estar entusiasmado es necesario para cursar la tecnicatura p q: Cuando curso la tecnicatura, estoy entusiasmado

CONCLUSIONES NO VALIDAS

BIBLIOGRAFA
Genesereth, M.R. Computational Logic (27 March 2000) Cap. 4 Proposicional proofs Nilsson, N.J. Inteligencia articial (Una nueva sntesis) (McGrawHill, 2000) Cap. 13 El clculo proposicional