Please enable JavaScript.

Coggle requires JavaScript to display documents.

Inferencia Lógica, Es la aseveración de que una proposición llamada …

- - - - Modus Tollendo Ponens (MTP)
        
        Ley: [ (P V Q) , ~ Q] / P
        
        REGLA: Nombre latino de esta regla dice que negando (Tollendo) un miembro de una disyunción se afirma (Ponens) el otro miembro.
      - Ley: P / (P V Q)
      - REGLA: Si se tiene una proposición que es verdadera, entonces la disyunción de ésta proposición y otra cualquiera también será verdadera. Si se tiene la proposición P, entonces la proposición P v Q, también será verdadera. En otras palabras, esta regla permite adicionar cualquier proposición a otra proposición.
  - - - Regla del Modus Tollendo Tollens (MTT)
        
        Ley: [ (P --> Q), ~ Q] / P
        
        REGLA: Esta regla también se aplica a proposiciones condicionales, pero en este caso la negación (tollendo) del consecuente es otra premisa, pudiendo inferir la negación (Tollens) del antecedente del condicional. En la regla de Tollendo Tollens, podemos observar en sus variaciones la doble negación, para ellas es posible aplicar la regla de doble negación ya estudiada.
        
        Silogismo Hipotético (SH)
        
        Ley: [ (P --> Q), (Q --> R)] / (P --> R)
        
        REGLA: Se tiene dos premisas, la primera el un expresión condicional al igual que la segunda, pero, se debe tener presente que el antecedente de la segunda es el consecuente de la primera; su consecuente es cualquier otra proposición para así concluir una proposición condicional con el antecedente de la primera y el consecuente de la segunda expresión
      - REGLA: Si se tiene un condicional como premisa N° 1 y su antecedente es otra premisa, la N° 2, entonces podemos inferir su consecuente como conclusión; se aplica tanto si el antecedente es una proposición atómica o molecular, lo mismo para el consecuente, éste puede ser una proposición atómica o molecular.
        Preposicionales posibles, siempre y cuando la segunda premisa cumpla la condición de ser el antecedente de la primera, para así poder concluir a Q.
      - Ley: (P --> Q), P / Q
  - - - Regla de la Unión (U)
        
        Ley: P, Q == P Λ Q
        
        REGLA: Si se tiene como premisas las proposiciones P, Q podemos concluir la conjunción de las dos proposiciones P Λ Q.
      - Ley: (P Λ Q) se puede separar.
      - REGLA: Esta regla, permite pasar de una conjunción a cada una de las proposiciones simples que la conforman, en este caso P y Q respectivamente, cada una de ellas está unida por Ù. De la premisa P Λ Q, se pude concluir P o se puede concluir Q.