458 Capitulo 9 Métados de deduccién 9.8 Construccién de pruebas formales usando las diecinueve reglas de inferencia Teniendo ahora un conjunto de diecinueve reglas a nuestra disposicidn, en lugar de sélo nueve, la tarea de consteuir pruebas formales se vuelve algo mas complicada, El objetivo sigue siendo el mismo, desde luego, pero el proceso de realizar la prueba implica la inspeccién de una caja de herramientas logicas ahora mas grande. La cadena légica irrompible que creamos, que finalmente nos lleva a la conclusién, ahora puede incluir pasos justificados tanto por una forma valida elemental de argumento como por una equivalencia légica. Cual- quier demostracion puede emplear reglas de los dos tipos. El balance o el orden de su utilizacién esti determinado tnicamente por la necesidad légica que encontremos al implementar la estrategia que nos lleve a la consumacién de la demostracién. Bl siguiente es un conjunto de pruebas formales intachables, cada uno de los cuales utiliza reglas de los dos tipos. Con el objetivo de acostumbrarnos a utilizar las reglas, examinaremos cada una de estas pruebas para determinar qué reglas han sido utilizadas para justificar cada paso en la prueba anotando a la derecha la justificacién de cada renglén. Comenzaremos con dos ejemplos. EJEMPLO 1 S L ADB 2.02 ~B ~AD~C = 3. : 4, 5. Reglas de inferencia i Se especifican diecinueve reglas de inferencia para utilizarlas en la construccion de pruebas ; de validez, Las regias son como sigue: : | Formas de argumento validas Expresiones légicamente | 23 elementales equivalentes | | 1, Modus Ponens (MP) 10. Teorema de De Morgan (De M.) | = | pape pe De~pv~@ “OV DEC ~@8.8 Construccién de pruebas formales usando las diecinueve reglas de inferencia | 2. Modus Toltens (M | PPan~aa me | 3. Silogismo Hipotético (SH) | P2aq> na por 4, Silogismo Disyuntivo (S.D.) PNGQ~P AG 5. Dilema Constructive (D.C) PIDGIN PVRAGVs 6. Absorcién (Abs.) P24 P2IQe@ 7. Simplificaci6n (Simp.) POanD 8. Conjuncién (Conj.) Pepe 9. Adicién (Ad) PoaPVvag BB SOLUCION: 12, Asociacign (Asoc.) bY@vnsvgva beGeMslpepen 13. Distribucién (Dist.) bev nlelpegy pen) bY @ Eleva rover 14, Doble Negacién (D.N.) pemnp 15. Transposici6n (Trans) p> @8Cqr~P 16. Implicacién material (Impl) C2DeCeva 17. Equivatencia material Equiv) G= D2 9° G2 pl C= DEO DY Pr-O 18. Exportaci6n (Exp.) Ieeg 2N* p> Gr 19, Tautologia (laut) Pg 2 ove perp La linea 3 es simplemente la linea 2 transpuesta; escribimos junto a fa linea 3: 2, Trans. La linea 4 es simplemente la linea 3 con ~~B reemplazada por B; asi que es- cribimos junto a la linea 4: En la linea 5 se aplica el silogismo hipotético con Jas lineas 1 y 4. Esctibimos junto a la linea 5: 1, 4, S.H. EB eJeEMPLO2 1.@De*HOF 2 DIHIG “BIG 459460 Capitulo 9 Métodos de deduccion 3. Ee DID F 4. ED(DI/ 5.EDG 1 sotucion: La linea 3 conmuta (D * £) de la linea 1; escribimos: 1, Conm. En la linea 4 se aplica Exportacién a la linea 3; escribimos; 3, Exp. En la linea 5 se aplica silogismo hipotético a las Iineas 4 y 2; escribimos; 4,2, SH. A. Para cada linea numerada de las siguientes pruebas formales (que no sea una premisa) escriba la regla de inferencia que la justifica Ll ADB 2 CI~B 2 AD~C BI~C 4. BD~C 5. AD~C BL (HV DD fe (Ke Ly) L nyeK 3 IVH 4 Avi 5. Je (Kel) 6 (eKeL 2 eK +5. (QV ~RyvS 2 ~Qv(Re~Q “RDS (Ov R)* (~QV~Q L ~Qv ~Q) # (QV R) 3. 4. 5 ~Qv~Q 6. ~Q 7 Qv(~RvS) 8 ~RVS 9 RIS om 1 (DeL)DF 2% (DIAHIC EDG 3. (E*D)DF 4. ED@IF) 5. EDG 1. (Mv N)D (O*P) 2 ~O ~M 3 ~Ov~P 4. ~(0*P) 5. ~(Mv N) 6. 1. MO ~N ME L Tey 2 TI WD (WeX)) 3. (T° VD ~(Wv X) 4. (Teujya (We X) 5. (T+ V)D (~We~X) 6. ((TeUD (We Xe (DP V)> (~We~X)) . (Te uy (TeV) (We Xv (~We ~X) 9% WX