Modus Ponems.

Declaramos variables:

Chico  = p

Chica = q

Felicidad = r

Vida arruinada = s

|- s

1- p

2- q

3- (p & q)  ---> ¬r

4- ¬r --> s

5- p & q  IC 1,2

6- ¬r  MP 3,5

7- s  MT 4,6