reglas logica simbolica, Esquemas y mapas conceptuales de Lógica Matemática

¡Descarga reglas logica simbolica y más Esquemas y mapas conceptuales en PDF de Lógica Matemática solo en Docsity!

CONCEPTO: REGLA BÁSICA (Lista) * Reglas de inferencia básicas o primitivas Introducción de la negación (IN) (o reducción al absurdo: Abs) C; doo >A Introducción de la conjunción (1C) A B AMB Introducción de la disyunción (1D) (o Adición: Ad) Á AvB Introducción de la disyunción (1D) B AvB Introducción de la implicación (1) A L; A=>B Introduccción de la equivalencia (YE) A=>B A=>B B=>A B=>A A=>B B=A Eliminación de la negación (EN) (o doble negación: DN) >>4 Á Eliminación de la conjunción (EC) Eliminación de la disyunción (ED) (o prueba por casos: Cas) AvB A C: a C Eliminación de la implicación (ED) (o Modus Ponens: MP) A=>B Á Eliminación de la equivalencia (EE) As B AB A=>B B=>A