Apuntes de Lógica

Filosofía. Lógica formal. Racionalidad. Pensamiento. Principios lógicos. Conocimiento. Concepto. Juicio. Razonamiento

Razonamiento. Lenguajes naturales. Formales. Artificial. Clásica. Moderna. Simbólica. Silogismos. Aristóteles. Conectores. Tabla de la verdad. Cálculo de Juntores. Regla de Inferencia. Informal

Proposicions, càlcul proposicional. Demostració automàtica. Predicats primer ordre. Deducció natural # Cálculo proposicional. Demostración. Predicado

Quodlibet sequitur. Negació. Sil-logisme hipotetic i disjuntiu. Modus tollens. Deducció natural. Álgebra Boole. CP1. Formalització. Prenexa. Skolen

Teorías filosóficas. Razonamiento: tipos. Silogismo. Teoría de los modelos. Analogia. Inductivo. Transitivo. Deductivo