Notas de Légica y Conjuntos MA2221-Aurora Olivieri 2014 1. Proposiciones La logica proposicional estudia las formas en que se relacionan unas pro- posiciones con otras, Deliniciou LL. Une proposicién es oracidn declarative que es verdadera 0 falsa, pero no ambos. Ejemplo 1.2. De lus siguientes oruciones, fa prunera y segunda no son pmapasiciones. Las siguientes st lo som. fa tercora y cuarta son verdaderas, taentras la guinta na to es. J. Las perros son malo. 2, jCriando Hega of trent 8 Fw es un suimero par, 4. Un carry tiene 4 ruedas. a2 3. da? —2 2. Proposiciones simples y compucstas Definicién 2.1. na propasicién es simple si na puede descompancrse on dos oruciones que sean propusiciones. En cusa coutruria direnos que ta pro- posicién es compuesta, Ejemplo 2.2. La priwera de las siguientes proposiciones es siruple, lus obras dos son rompusstos 2. ex mayor que acho, 2. 3 es un miimero impar y primo 8. Maria ve a la escuela o a su cus, cuando se monte en el autobis.3. Conectores légicos Los concetores u operadores logicos sirven para unir proposiciones 0 transformarlas no (Nogaciém}, = y (Conjuncion), + 0 (Disyuncién), Si... elouces (Coudiciousl}. Si y solo si (Bicoudiciousl) 3.4. Negacién La nogacién de una proposicién verdadera convierte & esta nueva propor sicién en falsa. Ejemplo 3.1. 4 no es par. 3.2. Conjuncion La. conjmeién convierte dos proposiciones: en ma micva, colocando entre ellas el conector “y", Esta neva proposicién es verdadera, si ambas lo son, Bjemplo 3.2, El 2 x menor que 5 y €9 par. 3.3. Disyuncién La digyuncién s¢ obtione al unir dos proposiciones con ol eonector“o". Una propasicion de este tipo os ciorta si al menos wma de Jas dos prapasicianes, separada por el “0”, 10 es, Ejemplo 3.3. Una pacrsona puede montarse en ef avin st tiene boteto o si rs de la tripulacion, 3.4. Condicional Cnando dos proposiciones estém unidas por un condictonal se debe tenet una proposiciéu antecendete y otra a la que le diremos eousecuente, Rjemplo 3.4. Como conseeuencia del refrain: “AL que madruga Dios Io aye da” podemos afirmar.4. Si José madraga entonces Bios lo ayuda, 2, José madruga entonces Bios to ayuda, &. Si José madrnga, Dios to ayuda, Se denota como p = g, donde p es la propasicidn antencedente y g es la proposicida comecuente, Cuando p ocurre, eulouces q sucede, fis decir, no pourre que sneeda py no sneeda 9. Fjemplo 8.5. Se deduce de la proposicién condirional: “Si 2 divide an enfonces n es pur”, que no ocurre yue 2 divide an yn no sea par, Es por eslo que si nv se cumple y tampoco puede passe p. Esto se conoce como no 9 implica no p (no q > no p) ¥ recihe el nombre de implicacion contrarreeipraca, Ejemplo 3.6. St la imphcacién directa es “Si Hovis entonces hubo nubes" In implicarién contrnrresproea es “No bubo mubes, entoners no Howis™ 3.5. Bicondicional T bicondicional, cuyo conector es si y sélo si” y denotamos <>, equivale & tener dos condicionales peg esequivalentea pooyg>p 4. Conjuntos Tn cojunto es, intnitivamente, una coleccion de abjetos. A estos objetos se les conoce como elementos del conjanto. M conjanto sin elementos le Hamaremos coujuuto vacio y ve dewota € Los conjuntos se denotan con letras mayisculas, por ejemplo A,B,0 y fos elementos com Tetras maintisenlas @,2,c2. Un conjunta se prods dat de forma explicita, dando nna Sista de sus elementos, o de forma implicita dando propiedades que deseriben wus elementos, Rjemplo 4.1. 1. Forma explicita: A — {2,1,24} & Forma implicita: Ty — {a sx es real y x? — | — 0}. Si nm conjunto A cs finito, denotarcmos como |A| al cardinal de este conjunto. Es decir, el nianero de elementos de A. Se utiliza x € A, para denotar que nn elemento x esta en el conjnntn A, yg A cnanda qneremos expresar que a no pertenece al conjanto, 3