SOLUCIONES AL EJERCICIO 3

a. Reducción al absurdo:

-1 (A & B)-> C

-2 A & ¬C

3 B

4 A EC2

5 A & B IC 4,3

6 C MP 1,5

7 ¬C EC2

8 C & ¬C

9 ¬B Abs 3,8


b. Resolución del argumento:
-1 A V B -> D & F

-2 ¬D

-3 ¬F

4 B

5 A V B Ad 4

6 D & F MP 1,5

7 F Simp 6

8 F & ¬F Prod 7,3

9 ¬B Abs 8

10 ¬F -> ¬B II 3,9

*Las líneas azules y naranjas indican que se trata de supuestos que han de ser descargados.