Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
FUNDAMENTOS DE LGICA
Objetivos
Generales: 1. Hacer que el alumno asimile la enorme utilidad de precisar el lenguaje matemtico, 2. Conocer el concepto de razonamiento vlido y de los distintos tipos de demostraciones. Especficos: Manejar el concepto de enunciado simple y compuesto. Traducir enunciados a expresiones lgicas. Conocer los principales conectores lgicos y manejar sus correspondientes tablas de verdad. Construir con soltura tablas de verdad de formas enunciativas compuestas. Averiguar si una forma enunciativa es una tautologa o una contradiccin. Averiguar si dos proposiciones son lgicamente equivalentes o una de ellas implica lgicamente a la otra. Manejar las principales reglas de manipulacin y sustitucin para probar que dos formas enunciativas son equivalentes. Construir las formas normales de cualquier forma enunciativa. Conocer los distintos conjuntos adecuados de conectivas. Saber determinar una forma equivalente a una dada en la que solo aparezcan conectivas de un determinado conjunto adecuado de conectivas. Averiguar si una argumentacin es valida. Conocer los distintos tipos de demostracin. Saber simbolizar usando predicados cualquier enunciado. Conocer el cuantificador universal y el cuantificador existencial y su conexin.
Bibliografa
Lgica para matemticos. A. G. Hamilton. Paraninfo, 1981. (Captulo 1 y inicio del captulo 3). Matemtica discreta y combinatoria. R. P. Grimaldi. Addison-Wesley Iberoamericana, 1989. Matemticas especiales para computacin. J.L. Garca Valle. McGraw-Hill, 1991. Introduccin a la lgica simblica. V. Rodrguez Lozano. Akal, 1985. Introduccin a la lgica formal. A. Deao. Alianza Editorial, 1999. Lgica matemtica. J. Aranda, J. L. Fernndez y F. Morilla. Sanz y Torres, 1993.
Garca-Muoz, M.A. 1
Garca-Muoz, M.A. 2
Por otra parte, las ciencias experimentales se basa en la observacin de la naturaleza y utilizan un razonamiento de tipo inductivo para poder formular teoras generales (de las observaciones particulares se extraen conclusiones generales que posibilitan predecir resultados de futuros experimentos). Las matemticas siguen un modelo deductivo de razonamiento. A partir de una coleccin de verdades (axiomas) se obtiene, mediante reglas correctas de deduccin, mas hechos verdaderos (teoremas). El objeto de la lgica es estudiar las condiciones generales de validez de estas deducciones, o demostraciones.
Garca-Muoz, M.A. 3
p V F
p F V
Esta conectiva da lugar a una funcin f del conjunto {V, F} en si mismo definida
por f (V) = F, f (F) = V. Conjuncin Sean A y B dos enunciados, denotamos por A B a la conjuncin de ambos. Su tabla de verdad depende de los valores de verdad que toman A y B. La conectiva nos define una funcin de verdad f de dos argumentos: f :{V, F} {V, F} {V, F} f (V, V) = V, f (V, F) = F, f (F, V) = F, f (F, F) = F. p V V F F q V F V F pq V F F F
Garca-Muoz, M.A. 4
Ntese que el otro uso de la disyuncin A o B pero no ambas se puede simbolizar mediante (A B) ( (A B)). Condicional p q pq V V V V F F F V V F V En lenguaje matemtico A B quiere decir que si A es verdadero, F necesariamente B es verdadero o lo que es igual que es imposible que B sea un enunciado falso y A sea verdadero. No obstante, la dificultad est en asignar el valor de verdad V en el caso en el que p toma el valor F. Ntese que en matemticas este tipo de enunciados no nos dicen nada a partir de la falsedad de A. Sean A y B dos enunciados. Denotaremos por A B para representar el enunciado A implica B o si A entonces B. Ahora el castellano no nos ayudar a construir una tabla de verdad. p q pq V V V Sean A y B dos enunciados. Denotamos el enunciado A si V F F y slo si B o A equivale a B por A B. F V F F F V En lo que sigue veremos que el valor de verdad de una forma enunciativa compuesta depende de los valores de verdad de los enunciados simples o de las variables de enunciado que la formen. Definicin Una forma enunciativa es una expresin en la que intervienen variables de enunciado y conectivas, que se construye utilizando las reglas: (i) Cualquier variable de enunciado es una forma enunciativa. (ii) Si y son formas enunciativas, entonces ( ), ( ), ( ), ( )y( ) son formas enunciativas. Bicondicional
Usando las tablas de verdad de las conectivas podemos construir una tabla de verdad para cualquier forma enunciativa, es decir, una tabla que indica, para cada asignacin de valores de verdad de las variables involucradas, el valor que toma sta. Dicha tabla de verdad es una representacin grfica de una funcin de verdad, cuyo
Garca-Muoz, M.A. 5
es lgicamente equivalente a
notaremos
es condicin suficiente de o es condicin necesaria de . Ntese que si lgicamente equivalentes, entonces ambas tienen la misma tabla de verdad.
Proposicin 2 Sea y sean una forma enunciativa en la que aparecen las variables de enunciado p1, p2,..., pn,
1, 2,..., n
Garca-Muoz, M.A. 6
Corolario 2 (Asociativa y conmutativa) Dadas i) ii) iii) iv) Proposicin 3 Sea es una forma enunciativa resultante de sustituir en la forma enunciativa
1 por 1.
y ( ( ( (
una o
Si
entonces
Llamaremos forma enunciativa restringida a una forma enunciativa en la que solo aparecen las conectivas , y . Proposicin 4 Sea una forma enunciativa restringida y supongamos que * ( ). * se ha obtenido a partir de
intercambiando las conectivas y , y reemplazando cada variable de enunciado por su negacin. Entonces Corolario 3 Si p1, p2,..., pn son variables de enunciado, entonces: i) ((p1) (p2) ... (pn)) ( (p1 p2 ... pn)) ii) ((p1) (p2) ... (pn)) ( (p1 p2 ... pn)) Con una nueva notacin para abreviar: i) (
(~ pi )) (~ ( pi ))
i=1 i=1
ii) (
i =1
(~ pi )) (~ ( pi ))
i =1
i =1
(~
i )) (~ (
i =1
i ))
ii) (
i =1
(~
i )) (~ (
i =1
i ))
Garca-Muoz, M.A. 7
( ( Q ij ))
i =1 j =1
donde cada Qij es una variable de enunciado o la negacin de una variable de enunciado. Esta forma se llama forma normal disyuntiva. Corolario 6 Toda forma enunciativa que no es una tautologa es lgicamente equivalente a una forma enunciativa restringida de la forma:
( ( Q ij ))
i =1 j =1
siendo cada Qij es una variable de enunciado o la negacin de una variable de enunciado. Esta forma se llama forma normal conjuntiva.
Garca-Muoz, M.A. 8
Nand
Se denota por , o bien, y es la negacin de la conjuncin, es decir, (p q) ((p q)). Su tabla de verdad es:
p V V F El inters de estas conectivas lo expresamos en la siguiente F proposicin y tiene consecuencias en el diseo y estudio de computadoras.
premisas o hiptesis.
,
1, 2,...,
2,...,
las variables que intervienen, que hace que todas las premisas V, tambin hace que la conclusin argumentativa es invalida.
tomen valor
Mediante las tablas de verdad de las premisas y la conclusin podemos asegurar la validez o invalidez de una argumentacin. Sin embargo, no es el mas adecuado cuando tenemos muchas conectivas, en este caso usaremos el mtodo de refutacin que consiste en intentar probar la invalidez de la forma argumentativa buscando aquellos valores de las variables que hace que cada una de las premisas tome el valor V y la conclusin el valor F. Si esto es imposible es que la forma argumentativa ser valida en otro caso habremos encontrado unos valores de verdad que hacen que ser invalida. Proposicin 8 La forma argumentativa
1, 2,..., n, 1
...
n)
Garca-Muoz, M.A. 9
Garca-Muoz, M.A. 10
Garca-Muoz, M.A. 11
Garca-Muoz, M.A. 12