Clase 8
Clase 8
Clase 8
p q r
Ejemplo.- Determinar si
pvq es una consecuencia
V V V V V V F F V V valida de
V V F V V V V V V V
V F V V V V F F V V
p→ q , q→r , r
V F F V F F F V V V
F V V F F V F F V V
F V F F F V F V V V
F F V V V V F F V F
F F F V F F F V V F
[ p ∧ ( p→ q ) ] → q ≡∼ [ p ∧ ( p → q ) ]∨q
≡[ p ∨∼ ( p→ q)]∨ q
≡( p∨ q) ∨ ( p ∨q)
≡( p∨ q) ∨( p ∧∼ q )
≡∼ ( p∧ ∼q)∨( p ∧∼q)
≡V es una tautología
3. El Método Abreviado
El desarrollo de la tabla de valores de la inferencia es
muy laborioso cuando se desea saber su validez, esto se puede evitar mediante el
“método abreviado” que es fácil de manejar y de gran precisión.
El método abreviado consiste en analizar la única posibilidad de ser falsa la
implicación ,es decir:
V F F
Ósea que la implicación es falsa F solo cuando el antecedente es verdadero V y
el consecuente falsa F
Ahora haremos un análisis a la inferencia mediante los
siguientes pasos:
Asignar el valor de verdad V a cada una de las premisas y
falso F a la conclusión, como el antecedente es verdadero y por ser una
conjunción n premisas entonces cada premisa es verdadero es
decir:
V F
F
Deducir el valor de cada una de las variables proporcionales teniendo en cuenta
las reglas que se pueden presentar en cada premisa.
Si cada una de las variables proporcionales tiene un solo valor, entonces la
inferencia no es válida, es decir no hay implicación puesto que la conjunción de
premisas es V y la conclusión es F.
Si una variable proporcional llega tener dos valores a la vez ( V y F), entonces
quedara demostrado que no es posible que la conjunción de premisas es V y la
conclusión es F, por lo tanto hay implicación y la inferencia valida.
Ejemplo: Analizaremos la inferencia
V V V
V F F
Analizando la conclusión p v r
p v r de donde p es F
r es F
F F F
~p r de donde ~p es F entonces p es V
F V F
Como podemos apreciar p es F por una parte
p es V por otra parte
lo cual es una contradicción, por lo tanto la inferencia es válida.
p → r donde: p es V
V F F r es F
p → q donde: p es V
V V V q es V
r ↔ q
F V F q es F
p ↔ ~q donde: p es F
F V F
q ν r donde: q es V
V V V r es V
~r
F
Como cada variable tiene un solo valor, decidimos que la inferencia no es
válida.