LGICA 1. GENERALIDADES Definiciones de lgica. Ramas de la lgica: Lgica formal, lgica proposicional. Lgica de clases. Lgica cuantificacional.

Lgica trivalente Lgica modal. 2. HISTORIA DE LA LGICA poca Antigua: Pitgoras, Scrates. Platn, Aristteles. Lgica Medieval: Porfirio, Boecio. Lgica Moderna: Leibniz, Boole, Venn. G. Frege, Russell y Whitehead. Wittgenstein, Luckasiewics, F. Miro Quesada (Per). 3. LENGUAJE Y PENSAMIENTO Funciones bsicas del lenguaje: Informativa, Expresiva y Directa. Lenguaje natural y lenguaje formalizado. Falacias formales: Definicin. Falacias No formales: De antingencia. Ignoratio elenchi, non causa pro causa (falsa causa).- Argumentun ad populium. Argumentum ad hominem, Ad ignoramtiam, Ad Baculum, Ad veracumdiam. Falacias de ambigedad: Equvoco, nfasis, anfibologa. 4. PRUEBAS FORMALES EN LA LGICA PROPOSICIONAL Proposicin.- Clases de proposicin: Simples y Compuestas. Proposiciones Compuestas: conjuntivas, disyuntivas (Inclusas y Exclusas), condicionales, bicondicionales y uso de la negacin. Formalizacin de proposiciones de 1, 2 y 3 variables.- Uso de los signos de agrupacin. Tablas de verdad con 2 y 3 variables. Aplicacin de la lgica proposicional.- Circuitos elctricos. Diseo de circuitos elctricos: en serie y en paralelo. 5. RAZONAMIENTOS VLIDOS EN LA LGICA PROPOSICIONAL Modus Poniendo Ponens (MPP). Modus Tollendo Tollens (MTT). Silogismo disyuntivo (SD). Silogismo Hipottico Puro (SHP). Transitividad Simtrica (TS). Dilemas: Constructivo Compuesto (DCC) y Destructivo compuesto (DDC). 6. PRINCIPIOS LGICOS En la lgica formal: Principio de identidad. Principio de No contradiccin.

Principio de Tercio excluido. Leyes de la Lgica Dialctica: Unidad y lucha de contrarios. Ley del trnsito o salto de lo cuantitativo a lo cualitativo. Ley de la negacin de la negacin. 7. LGICA FORMAL. CLSICA Entes lgicos: El concepto: Caractersticas (esenciales y accidentales).- Propiedades: extensin y comprensin. El juicio. Clasificacin de los juicios: cantidad, cualidad, relacin y modalidad. Juicios categricos tpicos A-E-I-O. Cuadro de Boecio. La definicin. El razonamiento. Clases de razonamiento: Inductivo, Deductivo y Analgico. 8. INFERENCIAS Inferencias inmediatas de la lgica tradicional. Clases de inferencias inmediatas: Oposicin, Conversa, Obversa. Contrapuesta parcial y contrapuestas total. Silogismo.- Caractersticas.- Reglas del Silogismo. Figuras del Silogismo. Modos de Silogismo. 9. LGICA DE CLASES Nocin del lgebra booleana. Representacin de clases: Universal y vaca. Tipos de clases: Universal, particular y Complemento. Operaciones con clases: Unin o suma de clases. Diferencia e igualdad. Relaciones entre clases: inclusin, exclusin, interseccin. 10. FRMULAS BOOLEANAS Y DIAGRAMAS DE VENN Diagramacin de una clase. Diagramacin de proposiciones de 2 clases. Diagramacin de proposiciones tpicas. Diagramacin de proposiciones atpicas. Diagramacin de silogismos. Validez del silogismo por los diagramas Venn.