Leyes de Inferencia

Alejandra Duque
Mind Map by Alejandra Duque, updated more than 1 year ago
Alejandra Duque
Created by Alejandra Duque about 1 year ago
6
0

Description

UNAD - LOGICA MATEMATICA

Resource summary

Leyes de Inferencia
  1. Son Formas De Argumentos Cuya Valides Puede Ser Demostrada Con Tablas De Verdad
    1. Leyes De Inferencia Logica
      1. Modus Ponens (MD)
        1. Permite eliminar el antecedente siempre que la segunda premisa sea dicho antecedente
          1. p →q, p ∴q
        2. Modus Tollens (MD)
          1. Permite eliminar el consecuente siempre y cuando este negado en la segunda premisa, dado como consecuencia el antecedente negado
            1. p →q, ¬q, ∴¬q
          2. Silogismo Hipotetico (SH)
            1. Permite eliminar el consecuente de la primera premisa y el antecedente de la segunda premisa, siempre y cuando sean las mismas
              1. p →q, q→r, ∴p→r
            2. Silogismo Disyuntivo (SD)
              1. Permite eliminar una de las dos disyunciones siempre que una de las dos esté negada en la segunda premisa
                1. p∨q, ¬p, ∴q
              2. Adicion (AD)
                1. Permite agregar las variables proposicionales que se necesiten
                  1. p, ∴p∨q
                2. Simplificacion (SIM)
                  1. Permite eliminar las variables proposicionales que no se necesiten
                    1. p∧q, ∴p
                    2. Conjuncion (CON)
                      1. Permite unir dos premisas diferentes
                        1. p, q, ∴p∧q
                    3. Dilema Constructivo (DC)
                      1. Permite eliminar los antecedentes de las dos condicionales , dando como resultado la disyuncion de los consecuentes
                        1. (p→q)∧(r→s), p∨r, ∴q∨s
                        2. Dilema Destructivo (DD)
                          1. Permite eliminar los antecedentes de las dos condicionales, dado como resultado la disyuncion de la negacion de los consecuentes
                            1. (p→q)∧( r→ s), ¬q∨¬s, ∴¬p∨¬q
                        3. Absorcion (ABS)
                          1. Permite reescribir el consecuente, dando como resultado la conjuncion del antecedente y consecuente
                            1. p→q , ∴p→(p∧q)
                      2. Apoyada bajo
                        1. LOGICA MATEMATICA
                          1. Es aquella que nos permite mediante un lenguaje simbolico determinar si un argumento es valido o no
                        2. Leyes de Equivalencia
                          1. Ley de contraposicion
                            1. Ley del Condicional
                              1. Ley de expotacion (LE)
                                1. Leyes de Morgan (DM)
                                  1. ¬(p∧q)≡¬p∨¬q
                                  2. {(p∧q)→r}≡{p→(q→r)
                                  3. p→q≡ ¬p∨q
                                  4. p→q≡ ¬q→¬p
                                2. Emplea
                                  1. RAZONAMIENTOS LOGICOS
                                    1. Para demostrar teoremas y resolver situaciones o problematicas
                                  Show full summary Hide full summary

                                  Similar

                                  Mapa conceptual de Lógica Matemática
                                  Jhonnier Torres
                                  Spanish: Grammar 3.2
                                  Selam H
                                  A-Level Biology: Cell Division
                                  cian.buckley+1
                                  1PR101 2.test - Část 18.
                                  Nikola Truong
                                  Tema 1: La filosofía presocrática
                                  Jocelyn Abigail Garcia Reyna
                                  La Reproducción en los Seres Humanos
                                  Rebecca Doria
                                  CONCEPTOS BÁSICOS DE MANUALES TARIFARIOS OBJECIONES,GLOSAS Y DEVOLUCIONES.
                                  Oscar Alexander Riveros Cortes
                                  Enfermedades cerebrales
                                  EDUARDO JOSELO BARRAGAN VERDEZOTO
                                  Mapa Conceptual
                                  CAMILA VARGAS
                                  Tipos de luz
                                  Yiseth M. A
                                  TEST SOBRE LOS CONOCIMIENTOS BÁSICOS EN TICS
                                  Paola Andrea Cabrera Gutierrez