La prueba formal de

validez

 Las tablas de verdad son apropiadas

para probar la validez de un
argumento; pero cada vez, son ms
difciles de manejar a medida que
aumenta el nmero de enunciados
(proposiciones) que lo constituyen.
Para deducir la conclusin, se utiliza
un mtodo ms eficiente que prueba
la validez de un argumento extenso
partiendo de argumentos

Reglas de inferencia

 Ejemplo 1
Para el siguiente argumento
elemental vlido enuncie la regla de
inferencia mediante la cual se sigue
su conclusin de sus premisas.

Ejemplo 2
Para el siguiente argumento indique qu es una
prueba formal de validez justificando cada lnea

 Para resolver este ejercicio se debe

justificar cada rengln, comenzando
en el rengln nmero 3 despus de
los tres puntos y se puede utilizar
tanto el regln 1 como el 2. .As el
rengln 3 surge del rengln 1
aplicando una simplificacin

Ahora se va a justificar cmo se

obtuvo el rengln 4, y podemos
utilizar tantolos reglones 1,2 y 3. As
el regln 4 sale del rengln 3 por
adicin.