Lógica proposicional: proposiciones, valores de verdad y símbolos

Apuntes

Matemáticas Discretas Andrés Fernando Velasco avelasco@uceva.edu.co * Lógica proposicional * Concepto de proposición * Valores de verdad * Operadores lógicos * Tipos de proposiciones * Representación de frases del lenguaje natural 470a.c Sócrates 424a.c Platón 384a.c Aristóteles Lógica proposicional Lógica proposicional Silogismos Todos los hombres son mortales Sócrates es hombre Por lo tanto, Sócrates es mortal Lógica proposicional (384a.c – 322a.c) Aristóteles • Descendía de una familia de Asclepíades • Creador de la lógica formal, economía, astronomía, precursor de la anatomía, la biología y la taxonomía • Discípulo de Platón y maestro de Alejandro Magno • Aristóteles funda su propia escuela en Atenas, el Liceo (los peripatéticos) Lógica proposicional Platón y Aristóteles por Raffaello Ética a Nicómaco • Libro I: La felicidad • Libro II: Elementos de la virtud • Libro III: Los pasos de la voluntad; la fortaleza y la templanza • Libro IV: Algunas virtudes de riquezas, de espíritu y de vida • Libro V: La justicia y las virtudes de carácter • Libro VI: Las virtudes intelectuales • Libro VII: El placer; la continencia y la incontinencia • Libro VIII: La amistad en general • Libro IX...