Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
VALIDEZ E INVALIDEZ
OBJETIVO:
Probar la validez e invalidez en los
argumentos lógicos, mediante una
serie de argumentos elementales
válidos.
CONTENIDO:
❖ PRUEBA FORMAL DE VALIDEZ, APLICANDO LAS
REGLAS DE INFERENCIA
p q p q p q
p ~ q q r
~ p p r
q
4. Silogismo Disyuntivo (SD) 5. Dilema Constructivo 6. Absorción (Abs)
(DC)
p q
( p q) . (r s)
pq
~ p
q pr p (q . p)
qs
7. Simplificación (Simp) 8. Conjunción (Conj) 9. Adición (Ad)
p.q p p
q
p p . q
pq
Esta nueve reglas de inferencia corresponden a formas arguméntales elementales cuya
validez es fácil de establecer por medio de tablas de verdad.
Ing. Cristela Fuentes
Ejercicios
III. Para cada uno de los puntos siguientes, añadir
los dos enunciados que se necesitan para
producir una prueba formal de validez.
Construya una prueba formal de validez de cada
uno de los siguientes argumentos.
a)
1. A
A 2. B / ( A C ) . B
B / (A C) . B 3. A C (1) Ad
4. ( A C ) . B ( 3 , 2 ) Conj
PRUEBA FORMAL DE
Ing. Cristela Fuentes
VALIDEZ
Ejercicios
b)
1. M N 1. M N
2. ~ M . ~ O / N 2. ~ M . ~ O / N
3. ~ M (2) Simp
4. N ( 1, 3 ) SD
PRUEBA FORMAL DE
Ing. Cristela Fuentes
VALIDEZ
Ejercicios
IV. Para cada uno de los puntos siguientes, añadir
los tres enunciados a las premisas, producirá
una prueba formal de validez. Construya una
prueba formal de validez de cada uno de los
siguientes argumentos.
a)
A ( B A ) 1. A ( B A )
~ A . C / ~ B 2. ~ A . C / ~ B
3. ~ A ( 2 ) Simp
4. B A ( 1, 3 ) S D
5. ~ B ( 4,3 ) M T
1. N ( N . O ) P
2. N . O / P
3. N ( 2 ) Simp
4. ( N . O ) P ( 1, 3 ) M P
5. P ( 4 , 2) MP
PRUEBA FORMAL DE VALIDEZ
Ing. Cristela Fuentes
Ejercicios
V. Construya una prueba formal de validez de
cada uno de los siguientes argumentos.
a)
AB 1. A B
A (C . D ) 2. A ( C . D )
~B . ~E 3. ~ B . ~ E / C
C 4. ~ B (3), Simpl
5. ~ A(1, 4), M T
6. C . D(2, 5), S D
PRUEBA FORMAL (6), Simpl
DE VALIDEZ
7 . C Ing. Cristela Fuentes
Ejercicios
(Q R ) . (S T )
b) (U V ) . (W X )
Q U
R V
1. (Q R ) . (S T )
2. (U V ) . (W X )
3. Q U / R V
4. Q R (1), Simpl.
5. U V (2), Simpl.
6. (Q R ) . (U V ) (4, 5), Conj
7. R V (6, 3), D C