Professional Documents
Culture Documents
Validez de un razonamiento
Existen varias técnicas para demostrar la validez de un razonamiento. Entre ellas se tienen:
a) Técnica tabla de verdad: Para aplicar la técnica de la tabla de verdad, se debe transformar
el razonamiento en una proposición condicional, en donde la conjunción de las premisas
forman el antecedente y la conclusión forma el consecuente. Si al realizar la tabla de verdad
de un razonamiento da como resultado una tautología, se considera un razonamiento válido
o argumento, en cualquier otro caso será un razonamiento inválido. Todo razonamiento es
válido si al ser transformado en una proposición condicional esta da como resultado una
tautología.
La tierra es un planeta p
2. La tierra es un planeta p
(p → ¬ q) ∧ p → ¬q
ANTECEDENTE CONSECUENTE
1.4 Se elabora la tabla de verdad del razonamiento
p q ¬ q p→ ¬ q ( p→ ¬ q)∧ p [ ( p→ ¬ q)∧ p ] → ¬q
V V F F F V
V F V V V V
F V F V F V
F F V V F V
Ejemplo 1
2. La Tierra es un planeta.
Ejemplo 2:
Nota: Como se puede observar, el resultado final es una contingencia por lo que se
demuestra su no validez.
Esta regla que a continuación estudiarás se basa en el condicional. Se sabe que los
enunciados condicionales se componen de un antecedente y de un consecuente. Por lo
tanto, puede ser que un enunciado determinado, por ejemplo q, sea el consecuente de un
condicional (p → q) y al mismo tiempo sea el antecedente de otro (q → r), entonces p
también viene siendo el antecedente de r. Veamos los enunciados de la siguiente manera:
Algoritmo Horizontal:
Algoritmo Vertical: p→ q
q → r
∴ p → r
Ejemplo:
Se puede concluir:
D “Hace calor”
S “Juana va a nadar”
Entonces:
D →S
S → H
D → H ( Conclusión)
La ley del silogismo disyuntivo, abreviado DS, empieza con una disyunción y dos
condicionales, como se muestra en el siguiente ejemplo:
Sea:
R “ Llueve”
D “El campo está seco”
P “ Jugaremos dentro”
B “ Jugaremos baloncesto”
(1) R ∨ D
(2) R →P
(3) D →B
(4) P ∨ B (Conclusión)
TABLA RESUMEN DE LAS REGLAS
EJERCICIOS PROPUESTOS 1
EJERCICIOS PROPUESTOS 2
( Sólo debe poner las vistas en clase)
MODUS PONIENDO PONENS