ABREVIADO:
miércoles, 26 de mayo de 2010 18:26 Publicado por ANDERSON STIVEN GARCIA MEJIA
1. Se supone verdadero el consecuente y falso el consecuente
2. se determinan los valores de las variables del consecuente de manera que expresen la falsedad
de este
3: Se transladan estos valores al antecedente y se designan los valores de las demas variables
tratando de hacer verdadero el antecedente
4. Si se verifica la hipotesis, la formula es no tautologica, en consecuencia, la inferencia
correspondiente sera invalida; si no se verifica la hipotesis, la formula sera tautologica, en
consecuencia, la inferencia correspondiente sera valida.
Ejemplo
Sea la inferencia
Si eres fiscal eres abogado. Si eres profesional, Eres abogado.Luego, Si eres Fiscal, eres profesional
Formula
Procedimiento
d) habiendo asignado el valor de verdad de V a la variable q, las dos premisas han asumido el valor
de verdad y todo el antecedente ha tomado el valor de verdad con lo que queda verificada la
hipotesis siendo, por lo tanto , la formula no tautologica; es decir, la inferencia correspondiente
invalida.