TALLER DE LOGICA MATEMATICA

Taller N 1: Introducción a la Lógica
DEINER SAENZ GUTIERREZ FABIAN ESCOBAR

25/02/2011

Lógica Matemática INTRODUCCION 2|P á gin a .

Lógica Matemática OBJETIVOS 3|P á gin a .

r= me enfermo Exprese en forma oracional: A: B: C: D: E: = llueve y hace frio = No llueve y no hace frio = Si hace frio entonces me enfermo = si llueve entonces no me enfermo = Llueve o hace frio si. el hombre también los es R/ a= los perros son cuadrúpedos b= los gatos son cuadrúpedos c= El hombre es cuadrúpedo Conectores: 4|P á gin a . Si los perros y los gatos son cuadrúpedos.Lógica Matemática DESARROLLO 1. y solo si. q= hace frio c. p= llueve b. Teniendo en cuenta los enunciados: a. me enfermo 2. No todos los políticos son corruptos R/ a= los políticos son corruptos Conector: Negación Representación Simbólica: B. Simbolice las siguientes proposiciones compuestas: A.

Lógica Matemática Condicional Conjunción Representación Simbólica: C. B. si y solo si. V F F V V F F V R/ Cuando la proposición verdadera. es falsa entonces la proposición . la tierra es un planetoide R/ a= La luna es una estrella b= la luna es un satélite c= La tierra es un planetoide Conectores: Disyunción Inclusiva Bicondicional Representación Simbólica: 3. La luna es una estrella o un satélite. Diga en que casos son verdaderas las proposiciones: A. . es V V F F V F V F F F V V F V F V V V V F F F F V F F F V V V V V R/ En todos los casos la proposición es verdadera. 5|P á gin a .

q y r son verdaderas.Lógica Matemática C. R/ Son esquemas gráficos que permiten determinar si una proposición compuesta es verdadera o falsa. V V F F R/ V F V F F V F V V F V V F V F F F V F F V V V V En todos los casos la proposición es verdadera. Ejemplo 1: Dados los valores : a=V b=V 6|P á gin a . V V V V F F F F V V F F V V F F V F V F V F V F V V F F F F F F F V F V V F V F F V V V V V V V V F F F F F F F R/ Es verdadera cuando las proposiciones P. 4. ¿Qué es un diagrama de verdad? De por lo menos tres ejemplos. D.

Lógica Matemática Realiza el diagrama de la siguiente proposición: a b V V V Ejemplo 2 Dados los valores: a= V b= V C= V Realiza el diagrama de la siguiente proposición: a V V F Ejemplo 3 Dados los valores: a= V b=V c=V d=V Realiza el diagrama de la siguiente proposición: (~b ~c d) V V V F F F V a b V ~c V F V F 7|P á gin a .

htm 8|P á gin a .htm http://soko.ar/matem/Logica_proposicional.com.com/trabajos/iartificial/pagina4_1.Lógica Matemática WEBGRAFIA http://es.wikipedia.monografias.org/wiki/L%C3%B3gica_proposicional http://www.