REWRWERWERWE

Método del condicional asociado
En lógica proposicional, el método del condicional asociado es una prueba de validez.
Esto es, un procedimiento paradeterminar si una forma proposicional es válida o no lo es.
Este método es mecánico y se basa en el método de las tablas de verdad, que consiste en la explicitación detodos los posibles valores de verdad que puede adoptar una forma proposicional de acuerdo con el significado de las conectivas que en ella aparezcan y losposibles valores de las letras proposicionales.
El condicional asociado consiste en realizar la tabla de verdad de un condicional que tenga como consecuente laconclusión del razonamiento -o presunto razonamiento- y como antecedente la conjunción de las premisas.
Sencillamente, si se obtiene una tautología al realizarla tabla de verdad de un condicional asociado a un razonamiento se demuestra la validez de esa forma de razonamiento.
6. Cuando Eduardo no juega al baloncesto, juegaal tenis; cuando juega al tenis, juega al fútbol; no juega al fútbol. Por tanto, Eduardo juega al baloncesto.
Eduardo baloncesto: p
Eduardo tenis: q
Eduardofútbol: r
((¬p -> q) & (q ->r)) & ¬r ->p
((
¬
p
->
q
)
&
(
q
->
r
))
&
¬
r
->
p

F
V
V
V

V

V
V
V

F
F
V
V
V

F
V
V
V

FV
F
F

F
V
F
V
V

F
V
V
F

V

F
V
V

F
F
V
V
V

F
V
V
F

V

F
V
F

V
V
F
V
V

V
F
V
V

V

V
V
V

F
FV
V
F

V
F
V
V

F

V
F
F

F
V
F
V
F

V
F
F
F

F

F
V
V

F
F
V
V
F

V
F
F
F

F

F
V
F

F
V
F
V
F