CAPITULO 1 LOGICA Y CONJUNTOS Introduccin 1.1 PROPOSICIONES Proposicin Valor de verdad Tabla de verdad 1.

2 OPERADORES LOGICOS Negacin12 Conjuncin Disyuncin Disyuncin exclusiva Condicional Reciproca, inversa, contra reciproca Condicional necesarias y suficientes Bicondicional 1.3 PROPOSICIONES SIMPLES Y COMPUESTAS Proposiciones simples y compuestas 1.4 FORMAS PROPOSICIONALES Variables preposicionales Formas preposicionales Tautolgica, contradiccin, contingencia Implicacin lgica Equivalencia lgica 1.5 PROPIEDADES DE LOSM OPERADORES LOGICOS Leyes de los operadores fundamentales conjuncin y disyuncin Leyes de los operadores negacin, condicional y bicondicional Leyes de las implicaciones lgicas 1.6 RAZONAMIENTO Razonamientos Validez de un razonamiento 22 22 23 24 .25 25 26 26 27 .29 29 30 7 8 9 10 10 11 13 14 14 15 16 17 19 20 20

1.7 DEMOSTRACIONES 1.7.1 Demostraciones directas 1.7.2 Demostraciones por contraposicin 1.7.3 Demostraciones por contraejemplos 1.7.4 Demostraciones por reduccin al absurdo 1.7 CONJUNTOS Conjunto Cardinalidad 1.8.1 Conjunto relevantes 1.8 CUANTIFICADORES Cuantificador universal Cuantificador existencial Subconjunto Conjunto Potencia 1.9.1 Relaciones entre conjuntos Igualdad entre conjuntos. Conjuntos disjuntos e intersecantes 1.10 OPERACIONES ENTRE CONJUNTOS Unin entre conjuntos Interseccin entre conjuntos Diferencia entre conjuntos Diferencia simtrica entre conjuntos Complementacin de conjuntos

33 33 34 35 36 39 39 40 40 41 42 42 42 43 44 44 44 44 45 45 45 46 46

1.11 PROPIEDADES DE LAS OPERACIONES ENTRE CONJUNTOS 47 Leyes de las operaciones fundamentales unin e interseccin Otras leyes 47 48