Ejercitaci n del Condicional Asociado

Ejercitación del Condicional Asociado
 
Carrera: Analista de Sistemas Informáticos
 
Materia: Teoría de Sistemas
Profesor: Adriana Ema Fernández Vecchi
              Alejandro Callejas
Clase Nº  14 
 
 
EJERCITACION DEL CONDICIONAL ASOCIADO
 
 
Para saber si una forma de razonamiento es válida, uno de los métodos consiste en construir su condicional asociado y hacer la tabla de verdad de esecondicional;
Si el condicional asociado es tautológico, la forma de razonamiento es válida;
En caso contrario, es inválida.
Recuerden que:           →    es el condicional (si....entonces....)                                          •     es la conjunción (...y....)
                                         v      es la disyunción inclusiva (...o ...)
                                        w     es ladisyunción exclusiva ( o bien ...o bien ...)
                                        ~      es la negación
                                        ≡      es el bicondicional o equivalencia ( ..... si ysolo si ......)
Ejercitación
 
Probar, con el procedimiento descrito, la validez de las siguientes formas de razonamiento.
El ejercicio 1 ejemplifica el procedimiento.
Nº
Forma derazonamientoCondicional asociado

Resultado
1
p  ≡ q
~p
____________
~q
[( p   ≡   q)   •    ~p]     →     ~q
 


 
v
V
v
F
f
V
f



 
f
F
v
F
v
V
f



 
v
F
f
F
f
V
v
Forma válida


 
f
V
f
V
v
V
v

   2
p →q
q_________
~p
[(p
→
q)
•
q]
→
~p
 Forma Invalida


V
V
V
V
V
F
F



F
V
V
V
V
V
V



V
F
F
F
F
V
F



F
V
F
F
F
V
V
 
3
p v q
p
_________
q
[(p
v
q)
•
P]
→
q
 Forma Invalida


V
V
V
V
V
V
V



F
V
V
F
F
V
VV
V
F
F
V
F
F



F
F
F
F
F
v
F
 
4
p →q
q → p
_________
p ≡ q
 
 
 
[(p
→
q)
•
(q
→
p)]
→
(p
≡
q)
v
v
v
v
v
v
v
v
v
v
v
f
v
v
f
v
f
f
v
f
f
v
v
f
f
f
f
v
v
v
v
f
f
f
v
f
v
f
v
f
v
f
v
f

 
 
 



 
5q
________
p v r
 
 
 
q
→
(p
v
r)
v
v
v
v
v
v
v
f
v
v
f
v
v
v
v
f
v
f
v
v
v
v
v
v
f
v
f
f
f
f
f
v
v
v
f
f
v
f
f
f

 
 
 
 
 
 
 Forma invalida



 
6
p →q
q → r
__________
p → r
 
 
 
 ...