View
31
Download
0
Category
Preview:
DESCRIPTION
estructuras discretas
Citation preview
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
Recommended