Implicaciones notables

Implicaciones Notables
También llamadas leyes de inferencia, existen muchas implicaciones notables pero son 8 los más importantes entre los cuales tenemos:
Modus ponens
Modus tollens
Modustollendo ponens
Ley conjuntiva
Ley simplificativa
Ley aditiva
Silogismo condicional
Ley de traslación
Ley del condicional

Modus Ponens:
En lógica, el “modus ponens” es el razonamiento en elcual, en la primera premisa se plantea un condicional, en la segunda premisa se afirma el antecedente y, como conclusión, se afirma el consecuente. 
Generalmente abreviado como MPP o MP, es una reglade inferencia que tiene la siguiente forma:
Si A, entonces B
A
Por lo tanto, B



Ejemplos:
 
1.-
Premisa 1: Si estuvieras dopado, estaríasalegre.
Premisa 2: Estás dopado.
Conclusión: Por lo tanto, estás alegre.

2.-
Premisa 1: Si Arwen estudia, entonces saca buenas calificaciones.
Premisa 2: Arwen estudia.
Conclusión: Por lotanto, saca buenas calificaciones.

3.-
Premisa 1: Si a Ludwing le gusta el color celeste, entonces usa una camisa celeste.
Premisa 2: A Ludwing le gusta el celeste.
Conclusión: Por lo tanto usacamisa celeste.

4.-
Premisa 1: Si Virginia tiene hermana, entonces su hermana se llama Claudia.
Premisa 2: Virginia tiene hermana.
Conclusión: Por lo tanto su hermana se llama Claudia.

5.-Premisa 1: Si Raúl recibe su gratificación, entonces se va a Ecuador.
Premisa 2: Raúl recibe su gratificación.
Conclusión: Por lo tanto Raúl se va a Ecuador.


Modus Tollens:
Esta implicacional igual que el “modus ponens”, empieza en la primera primera premisa donde se plantea una condicional, en la segunda premisa se afirma la negacion del consecuente y, como conclusion , se niega elantecedente.
Generalmente abreviado como MT, es una regla de inferencia que tiene la siguiente forma:
Si A, entonces B
No B
Por lo tanto, No A...