INFERENCIAS LOGICAS

Annotations:

• Es el proceso por el cual establecemos una conclusion a partir de un conjunto de condiciones relacionadas llamadas PRIMISAS.

1. REGLAS
   1. (MPP)

      Annotations:

      • El MPP se aplica a una condicional y la regla establece que si se afirma el antecedente, como conclusion debemos afirmar el consecuenta ( q )
   2. (MTT)

      Annotations:

      • El MTT se aplica en una condicional si se niega el consecuente como conclusion se debe negar el antercante ( p )
   3. (MTP)

      Annotations:

      • Aplica cuando una primisa es una propocicion desyuntuva y otra primisa niega uno de sus terminos osea debe afirmar el otro termino.
   4. (MPT)

      Annotations:

      • Aplica cuando una primisa es una disyuncion excluente y cuando otra primisa afirma uno de sus terminos  osea debe negar el otro termino.
   5. (SHP)

      Annotations:

      • En lógica clásica, el silogismo hipotético es una forma de argumento válido que es un silogismo que tiene una sentencia condicional para una o ambas de sus premisas.
   6. (DCC)

      Annotations:

      • Es el nombre de una regla de inferencia de válida de lógica proposicional. Es una inferencia que dice: si P implica Q y R implica S y, o bien Q es falsa oS es falsa, entonces P o R debe ser falsa
   7. (DDC)

      Annotations:

      • Se relaciona en una primisa la disyuncion de la negacion de los consecuentes de otras 2 primisas La conclucion es la disyuncion de la negacion de los antecedentes.