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: -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. |