Organizacin

UNIVERSIDAD AUTONOMA GABRIEL RENE MORENOFACULTAD INTEGRAL DEL CHACO

UNIVERSITARIO:

DIEGO ARMANDO CONDORI CHAVARRIA

Introduccin a la lgica simblicaEs toda expresin lingstica respecto de la cual tiene sentido afirmar que es verdadera o que es falsa.Las representaremos por las letras p,q,r,setc.ProposicinLa lgica es un lenguaje preciso claro y formal. La lgica tiene como objetivo interpretar, desarrollar razonamientos correctos y distinguirlos de los razonamientos incorrectos. Las siguientes expresiones son proposiciones:-La luz tiene peso-La vbora tiene orejas -El mono es viejoLas siguientes expresiones no son proposiciones por que no se pueden afirmar si es verdadera o es falsa:-Patria de traidores -Estos perros-Cuantos aos han pasadoEl valor de verdad de una proposicin puede ser V o F. Se dice que el valor de verdad es V si es verdadera y F si es falsa.Ejemplo: p = El pltano es mineral V(p) = FEl valor de verdad de una proposicin V(p)Operaciones con proposicionesA partir de una o ms proposiciones iniciales se puede generar otra proposicin resultante mediante operaciones proposicionales con la aplicacin de conectivos lgicos. Conectivos lgicos.- Son los trminos de enlace entre proposiciones; No (negacin), o (disyuncin), y (conjuncin), entonces (implicacin), si o solo si (doble implicacin).Negacin Es una operacin monaria (se puede efectuar con una sola proposicin).Conectivo lgico: (adverbio de negacin: NO).Ejemplo: p=El dinero da felicidad p=No el dinero da felicidad p=El dinero no da felicidadTabla de verdad de la negacin

Es una operacin binaria (son necesarias dos proposiciones para efectuar una operacin de conjuncin).Conectivo lgico: (= y)Ejemplo:p = Mi novia es bonitaq = Mi novia es gordap q = Mi novia es bonita y mi novia es gorda = Mi novia es bonita y gorda

Conjuncin o producto lgico Tabla de verdad de la conjuncin

Es una operacin binariaConectivo lgico: (= o)Ejemplo:p = Juan es genial q = Juan es mediocrep q = Juan es genial o es mediocre

Disyuncin o suma lgico Tabla de verdad de la disyuncin

Es una operacin binariaConectivo lgico: Ejemplo:Si q = Juan tiene xito p = Juan se esfuerzap q = Si Juan se esfuerza entonces tiene xito

Implicacin o condicionalTabla de verdad de la implicacin

Conectivo lgico: Ejemplo:Si p = Hay buena cosecha q = La tierra es frtilp q = Hay buena cosecha si y solo si la tierra es frtil

Doble Implicacin o bicondicionalTabla de verdad de la doble implicacin

Clasificacin de formulas proposicionales Es una formula proposicional cuya tabla de verdad toma por lo menos una vez el valor de verdad V, y por lo menos una vez el valor de falso F.Tautologa Es una formulas proposicional que es siempre verdadera.Antitatologia Es una formula proposicional que es siempre falsa. Condicionales asociadas (Implicacin conjugada). Son recprocos, contrarios, y contrarecprocos.Contingencia 12GRACIAS POR SU ATENCIN!

FIN DE LA EXPOSICIN