SOLUCIONES AL EJERCICIO 3

a. Si me dices que nunca has hecho mal (N) mientes (M) y, si mientes (M) , eres malo (E).
Si me dices que has hecho mal (S), eres malo (E) y, si eres malo (E) , no eres totalmente ético (C) por haber sido malo.
Digas lo que digas, no eres totalmente ético (C).
(N ->M) & (M -> E), (S -> E) & (E -> C) |- (N V S)->C

-1 (N ->M) & (M -> E)

-2 (S -> E) & (E -> C)

3 N V S

4 E ->C EC2

5 S ED3

6 S -> E EC2

7 E MP 5,6

8 C MP 4,7

9 N ED3

10 N ->M EC1

11 M MP9,10

12 M-> E EC1

13 E MP 11,12

14 C MP 4,13

15 C Cas.5-8,9-14

16 (N V S) -> C II 3,15