de aprendizaje
-
blas de verdad para evaluar la validez formal de un argumento.
Conceptuales
-
tingente, en una tabla de verdad.
Distingue verdad formal y verdad emprica.
Describe el procedimiento para elaborar tablas de verdad
y del condicional asociado.
Procedimentales
Aplica tablas de verdad para calcular el valor de verdad
de una proposicin compuesta.
Aplica tablas de verdad para evaluar la validez de un
argumento.
Aplica el mtodo del condicional asociado para evaluar
la validez de un argumento.
Actitudes y valores
Valora el uso de tablas de verdad para evaluar la validez
de un argumento.
Contenidos de aprendizaje
Contenidos de aprendizaje
4.1. Qu es una tabla de verdad?
4.2. Procedimiento para elaborar tablas de verdad.
4.3. Verdad formal: tautologa y contradiccin.
4.4. Evaluacin de la validez de un argumento mediante
tablas de verdad.
funcin de verdad.
Tabla de verdad
Es un que permite determinar los posibles valores de ver-
dad de una proposicin compuesta, a partir de las combinaciones de los valores
de verdad de sus proposiciones simples componentes.
Veamos ahora los pasos que se siguen para construir una tabla de verdad.
Una tabla de verdad para cuatro proposiciones, sera 24= 16 combinaciones, y una
de cinco proposiciones, sera de 25= 32 combinaciones.
Paso 2: Anotar los posibles valores de verdad de las proposiciones simples empe-
zando por la ltima columna, anotando alternadamente primero un valor verdadero (V)
y luego otro falso (F). En la siguiente columna, a la izquierda, de la anotada, se duplica
la escritura de cada valor de manera alternada y as sucesivamente, si existen ms
columnas a la izquierda, hasta llenar la tabla. Por ejemplo:
p
1 V
2 F
p q p q
1 V 1 V V
2 F 2 V F
3 V 3 F V
4 F 4 F F
p q r p q r p q r
V V V V V V
F V F V V F
V F V V F V
F F F V F F
V V V F V V
F V F F V F
V F V F F V
F F F F F
p q r (p q) r
1 V V V
2 V V F
3 V F V
4 V F F
5 F V V
6 F V F
7 F F V
8 F F F
p q r (p q) r
V V V V V V
V V F V V F
V F V V F V
V F F V F F
F V V F V V
F V F F V F
F F V F F V
F F F F F F
1 2 3 4 5 6 7 8
1 2 3
p q r (p q) r
V V V V V V V
V V F V F V F
V F V V V F V
V F F V V F F
F V V F V V V
F V F F V V F
F F V F V F V
F F F F V F F
1 2 3 4 5 6 7 8
1 4y6 2 3
p q r (p q) r
V V V V V V V V
V V F V V V F F
V F V V F F V V
V F F V F F V F
F V V F F V V V
F V F F F V V F
F F V F F F V V
F F F F F F V F
1 2 3 4 5 6 7 8
1 4y6 2 5y8 3
p q r [p (q r)] p
1 V V V
2 V V F
3 V F V
4 V F F
5 F V V
6 F V F
7 F F V
8 F F F
p q r [p (q r)] p
V V V V
V V F F
V F V V
V F F V
F V V V
F V F F
F F V V
F F F V
1 2 3 4 5 6 7 8 9 10
2y3
p q r [p (q r)] p
V V V V V V
V V F V F F
V F V V V V
V F F V V V
F V V F F F
F V F F F F
F F V F F V
F F F F F V
1 2 3 4 5 6 7 8 9 10
1 4y7 2y3
p q r [p (q r)] p
V V V V V V V V
V V F V F F V V
V F V V V V V V
V F F V V V V V
F V V F F V F F
F V F F F F F F
F F V F F V F F
F F F F F V F F
1 2 3 4 5 6 7 8 9 10
4y7 1y2 5 y 10 1
Actividades de aprendizaje
Ejercicio 4.1.
p) (p p)
3. [(p q)
Verdades formales
Tautologa Contradiccin
p q p (p q) p q (p q) ~p
V V V V V V V V F F
V F V V V V F F F F
F V F V V F V F F V
F F F V F F F F F V
Veamos un ejemplo:
p q p ~q
V V V F F
V F V V V
F V F V F
F F F F V
Actividades de aprendizaje
Ejercicio 4.2.
Instrucciones: Utilizando las tablas de verdad, determina cules de las siguientes pro-
posiciones son tautolgicas, contradictorias o contingentes.
Proposiciones compuestas
1. [(p
2. p p
3. (p p)
p) (p p)
6. ( p
Ejercicio 4.3.
Instrucciones: Utilizando las tablas de verdad, determina cules de las siguientes pro-
posiciones son tautologas.
Proposiciones compuestas
1. (p p)
2. (p p)
3. [ (p q) (q r)]
4. [ (p q) (q r)]
5. [(p (q q) (p r)]
6. [(p (q q) (p r)]
7. (p p q)
8. (p p q)
9. [ (p
(p q)
p q)
q p)
Desarrollaremos un ejemplo:
1. Si estoy atento en clases, entonces entiendo o resuelvo los problemas.
2. Ni entiendo ni resuelvo los problemas.
Por lo tanto, no estoy atento en clases.
R)
2. ~E R
Premisa
a
Conclusin
Las premisas sern el antecedente del condicional, por lo cual primeramente, las
premisas se unen por una conjuncin y, evidentemente, debemos usas corchetes para
agrupar.
[ Premisa 1 conjuncin Premisa 2 ]
R) ~E R
R)] [~E R]
La conclusin ser el consecuente por lo cual debemos poner primero las premisas,
R)] ( ~E
Ahora, para saber si el argumento es vlido hacemos una tabla de verdad. Si la tabla
resulta ser una tautologa, es decir, si en los valores de verdad de la conectiva principal
son todos verdaderos, entonces el argumento se considera vlido.
A E R {[ A (E R) ] ( E R)} A
V V V V V V V V F F V F F V V F V
V V F V V V V F F F V F V F V F V
V F V V V F V V F V F F F V V F V
V F F V F F F F F V F V V F V F V
F V V F V V V V F F V F F V V V F
F V F F V V F F F F V F V F V V F
F F V F V F V V F V F F F V V V F
F F F F V F F F F V F V V F V V F
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17
1 4y7 2 6y8 3 5 y 12 11 2 10 y 13 14 3 9 y 16 17 1
Resultado
Tabla de verdad Argumento
Tautolgica Vlido
Actividades de aprendizaje
Ejercicio 4.5.
Instrucciones: Analiza y demuestra la validez de los argumentos siguientes:
Argumento 1
1. Si el papel tornasol se vuelve rojo, entonces la solucin es un xido.
Luego, si el papel se vuelve rojo, entonces o la solucin es un xido o hay algo
que anda mal.
Condicional asociado:
Tabla de verdad:
Argumento 2
1. Si cumplen las demandas de los terroristas, entonces ser vulnerable la legalidad.
2. Si las demandas de los terroristas no se cumplen, entonces sern asesinadas
personas inocentes.
Condicional asociado:
Tabla de verdad:
Argumento 3
1. Si las leyes son Buenas y su cumplimiento es Estricto, disminuir el Delito.
2. Si el cumplimiento de la ley es estricto, entonces hace disminuir el delito, luego,
nuestro Problema es de carcter prctico.
3. Las leyes son buenas.
Entonces, nuestro problema es de carcter prctico.
Condicional asociado:
Tabla de verdad:
Argumento 4
1. Si no estudio lgica, entonces no apruebo el examen.
2. Si estudio lgica, entonces aprendo.
En consecuencia: Si estudio lgica, entonces aprendo y apruebo el examen.
Condicional asociado:
Tabla de verdad:
Actividades de aprendizaje
Ejercicio 4.4.
Instrucciones: Pasa estas formas argumentales a la forma del condicional asociado y
haz una tabla de verdad para determinar si son vlidos (tautologas).
Estructuras
Condicional asociado Es vlido?
argumentativas
1.
2. p
2.
2. q
p
3.
1. p q
2. p
4.
1. p q
2. q
5.
6.
1. p
2. q
q
7.
1. p q
8.
1. p q
9.
1. p
q
10.
3. p r
s
11.
3. q s
p r
Actividades de aprendizaje
Argumento 1
1. Si las personas son totalmente racionales, entonces, o bien todos los actos
humanos se pueden predecir con seguridad o el universo es esencialmente
determinista.
2. No todas las acciones de las personas se pueden predecir con seguridad.
Condicional asociado:
Tabla de verdad:
Argumento 2
1. Si se logra la igualdad de oportunidades, entonces las personas que antes tenan
desventajas recibirn oportunidades especiales.
2. Si esas personas reciben oportunidades especiales, entonces tendrn un trato
preferencial.
3. Si algunas personas reciben un trato preferencial, entonces no se lograr la
igualdad de oportunidades.
Por lo tanto, la igualdad de oportunidades no se lograr.
Condicional asociado:
Tabla de verdad:
Bibliografa
Gonzlez Yez, Arturo. Lgica o por qu la luna es de queso. Mxico, Oxford, 2005.
Otros recursos
http://w3.cnice.mec.es/eos/MaterialesEducativos/mem2003/logica/
p
Propsito de la unidad
de aprendizaje
Conceptuales
Explica en qu consiste el mtodo de deduccin natural.
Explica qu son las reglas de inferencia y las de equi-
valencia.
Describe cmo funcionan las reglas de inferencia y
equivalencia.
Procedimentales
Aplica las reglas de inferencia y equivalencia en la de-
mostracin de argumentos..
Actitudes y valores
de argumentos.
Contenidos de aprendizaje
5.1. Deduccin natural.
5.2. Reglas de equivalencia.
5.3. Prueba formal para demostrar la validez de argumentos.
5.4. Reglas equivalencia.
a la conclusin.
Cmo saber si nuestros razonamientos o argumentos son vlidos o si nuestras
inferencias son correctas?
Un mtodo, que ya conoces es formar el condicional asociado de un argu-
mento y elaborar su tabla de verdad. Si la tabla resulta tautologa, interpretamos
que el argumento es vlido. El criterio de validez en que se apoya esta prueba es
muy simple, el argumento es vlido, porque es ilgico que, siendo verdaderas las
premisas la conclusin sea falsa y la tabla de verdad muestra que no hay ningn
caso en que eso ocurra.
En este apartado aprenders un mtodo ms poderoso para demostrar la va-
lidez de un argumento, el cual consiste en mostrar, paso a paso, las inferencias
que realizamos a partir de las premisas, hasta obtener la conclusin.
Regla de inferencia
Es una forma vlida de argumento que muestra el tipo de inferencia deductiva por
medio del cual la conclusin en esa forma argumental se deriv de sus premisas.
Adicin 1. p
q
1. p q 1. p q
Silogismo disyuntivo 2. p 2. q
Modus ponens 1. p q
2. p
1. p q
Modus tollens 2. q
p
Silogismo hipottico
El mtodo de demostracin formal tiene ciertas ventajas sobre las tablas de verdad.
Digamos que en argumentos ms complejos o con muchas variables, el uso de reglas
de inferencia es ms prctico que el de las tablas de verdad; una tabla de verdad deja
de ser til cuando el argumento tiene ms de cuatro variables. Por ejemplo:
Conjuncin
Abreviatura: (Conj.)
Estructura del argumento:
1. p 1. p
2. q 2. q
p q q p
1. C 1. ~K 1. O Q
2. E 2. W 2. ~(P R)
E W R) (O Q)
verdad.
Tabla de verdad
C E (C E) (C E)
V V V V V
V F F V F
F V F V F
F F F V F
La conjuncin por ser una forma vlida de argumento puede ser usada como una
Conjuncin
En un argumento se puede obtener como conclusin la conjuncin de cualquier
premisa existente, ya sea simple o compuesta.
Comprensin de la regla:
1. ~F
2. I
3. D
I) ~F
4. D I (aplicando conjuncin a las proposiciones 3, 2.)
5. (D I) ~F (aplicando conjuncin a las proposiciones 4, 1.)
Actividades de aprendizaje
Ejercicio 5.1.
Instrucciones: Basado en la resolucin del primer ejemplo, completa lo que falta, apli-
cando la regla de la conjuncin.
Ejemplo:
1. A
2. B
3. ~C
4. B ~C (Conj. 2,3.)
5. (B ~C) A (Conj. 4,1.)
1. R I
2. I N 2. S
__________________ (Conj. )
3. ___________________(Conj. 2,1.)
1. P R 1. (P Q)
2. I 2. (Q P)
3. D __________________ (Conj. )
4. ___________________(Conj. 1,3.)
5. ___________________(Conj. 1,2.)
C
2. (F E) S
__________________ (Conj. )
4. ___________________(Conj. 3,1.)
5. ___________________(Conj. 4,2.)
Abreviatura: (Simp.)
Estructura del argumento:
1. p q 1. p q
p q
1. C E 1. ~K W 1. ~(P R) ~(O Q) ( )
C W ~(P R)
verdad.
Tabla de verdad
C E (C E) C
V V V V V
V F F V V
F V F V F
F F F V F
Si en un argumento existe una premisa que sea una conjuncin (p q), se puede
obtener como conclusin cualquiera de los conyuntos (p), (q).
Comprensin de la regla:
Para aplicar la regla de la conjuncin se requieren tener:
Una proposicin conjuntada 1. p q 1. p q
Para concluir uno de sus elementos p q
2. L a la proposicin 1.)
3. a la proposicin 2.)
Actividades de aprendizaje
Ejercicio 5.2.
Instrucciones: Basado en la resolucin del primer ejemplo, completa lo que falta, apli-
Ejemplo:
1. X (Y M)
1. 4.
(B C) 1. ~C R
2. 5.
1. A (Z X) 1. K (W Z)
3. 6.
1. [(G J) H] (B C) 1. [(T S) V] N)
S
2. ___________________(Simpl. 1.) 2. _________________ (Simpl. )
3. ___________________(Simpl. 2.) 3. _________________ (Simpl. )
4. ___________________(Simpl. 3.) 4. _________________ (Simpl. )
Adicin
Abreviatura: (Ad.)
Estructura del argumento:
1. p
p q
Cualquier otro argumento que sea una instancia de sustitucin o posea la misma
estructura argumental ser igualmente vlido. Veamos algunos ejemplos:
1. C 1. ~K 1. O Q 1. p
C M ~K W O Q) ~(P R) p r]
verdad.
Tabla de verdad
C M C (C M)
V V V V V
V F V V V
F V F V V
F F F V F
La adicin por ser una forma vlida de argumento puede ser usada como una regla
Adicin
En un argumento se puede obtener como conclusin una disyuncin a partir de
cualquier premisa existente, ya sea simple o compuesta.
Comprensin de la regla:
1. Luis es escritor.
Por lo tanto, Luis o es Escritor o es literato o si Luis es literato, entonces ha de
ser de Filosofa.
1. E
Actividad de aprendizaje
Ejercicio 5.3.
Instrucciones: Basado en la resolucin del primer ejemplo, completa lo que falta, apli-
cando la regla de la adicin.
Ejemplo:
1. ~K
1. ~B 1. Q
C) F _________________ (Adic. )
2. _____________________ (Adic. 1.)
3. _____________________ (Adic. 2.)
1. Y F
S] R F) Q] T
2. _____________________ (Adic. 1.) 2. _____________________ (Adic. )
3. _____________________ (Adic. 2.) 3. _____________________ (Adic. )
Silogismo disyuntivo1
Abreviatura: (S.D.)
Estructura del argumento:
1. p q 1. p q
2. p 2. q
q p
p q [(p q) p] q
V V V F F V F
V F V F F V F
F V V V V V V
F F F F V V V
Cualquier otro argumento que sea una instancia de sustitucin o posea la misma
estructura argumental ser igualmente vlido. Por ejemplo:
1. D C 1. ~K W 1. (O R) P 1. P)
2. ~D 2. ~K 2. P 2.
C W (O R) P)
verdad.
Tabla de verdad
D C [(D C) D] C
V V V F F V V
V F V F F V F
F V V V V V V
F F F F V V F
El silogismo disyuntivo por ser una forma vlida de argumento puede ser usado
como una regla de inferencia. Veamos lo que precisa la regla:
Silogismo Disyuntivo
Si la estructura de un argumento presenta como premisa a una disyuncin podemos
inferir como conclusin uno de los disyuntos, siempre y cuando se tenga el otro
negado.
Comprensin de la regla:
1. T E
2. E S
3. S I
T
Actividad de aprendizaje
Ejercicio 5.4.
Instrucciones: Basado en la resolucin del primer ejemplo, completa lo que falta, apli-
cando la regla silogismo disyuntivo.
Ejemplo:
A) 1. D X
2. ~X
2. D . (S.D. 1,2.)
B) 1. ( F E) G E) 1. (B Q) T
2. F 2. T
3. G 3. B
C) 1. (A L) (Q V) F) 1. (J U) (R D)
2. ( A L) 2. (R D)
3. Q 3. U
Modus ponens
Nombre: Modus ponendo ponens
1. p q
2. p
Tabla de verdad
p q [(p q) p] q
V V V V V V V
V F F F V V F
F V V F F V V
F F V F F V F
Por ejemplo:
1. C I 1. K W 1. (O R) P 1. P)
2. C 2. K 2. (O R) 2.
I W P P)
Tabla de verdad
D I [(D I) C] I
V V V V V V V
V F F F V V F
F V V F F V V
F F V F F V F
Modus ponens
Si la estructura de un argumento tiene como premisa a una frmula condicional
(p q) podemos inferir su consecuente (q), siempre y cuando se tenga
al antecedente (p) de esa frmula condicional, tambin como premisa.
Compresin de la regla:
Proposicin condicional 1. p q
Se requiere:
Antecedente de la condicional 2. p
Se obtiene: El consecuente de la condicional q
Actividad de aprendizaje
Ejercicio 5.5.
Instrucciones: Basado en la resolucin del primer ejemplo, completa lo que falta, apli-
cando la regla del modus ponens.
Ejemplo:
2. B
H (M.P. 1,2.)
1. (R
2. R S
1. R)
2. P 2. U
3. Q 3. L
1.
2. Z 2. V
3. K 3. S
4. J 4. T
Modus tollens
1. T J 1. K W 1. (O R) P 1. P)
2. J 2. W 2. P 2. P)
T K (O R)
verdad.
Tabla de verdad
T J [(T J) J] T
V V V F F V F
V F F F V V F
F V V F F V V
F F V V V V V
1 2 4 6 7 8 9
El modus tollens por ser una forma vlida de argumento puede ser usado como una
regla de inferencia. Veamos lo que precisa la regla:
Modus tollens
Si una estructura o forma argumental tiene como premisa a una frmula condicional
(p q) podemos inferir la negacin de su antecedente ( p), siempre y cuando se tenga el
consecuente negado ( q) de esa frmula condicional, tambin como premisa.
Comprensin de la regla:
1.
2.
3. I
G
4. H (aplicando modus tollens a las proposiciones 1, 3.)
5. G (aplicando modus tollens a las proposiciones 2, 4.)
Actividad de aprendizaje
Ejercicio 5.6.
Instrucciones: Basado en la resolucin del primer ejemplo, completa lo que falta, apli-
cando la regla del modus tollens.
Ejemplo:
A)
2. Q
~C____ (M.T. 1,2.)
B) E) 1. A H)
2.
N (M.T. ) 3. D
F
4. ______ ( M.T. )
5. ______ ( M.T. )
C) P F) I)
3. P 3. U 3. B
S N C
4. 4. ______ (M.T. 1,3.) 4. ______ ( M.T. )
5. S (M.T. ) 5. ______ (M.T. 2,4.) 5. ______ ( M.T. )
D) G) 1. S J)
4. S 4. S
U R
5. G (M.T. ) 5. ______ (M.T. 4,1.) 5. ______ ( M.T. )
6. K (M.T. ) 6. ______ (M.T. 3,5.) 6. ______ ( M.T. )
7. E (M.T. ) 7. ______ (M.T. 2,6.) 7. ______ ( M.T. )
Silogismo hipottico
Abreviatura: (S.H.)
Estructura del argumento:
1. p
p r
Condicional asociado: [ (p r p r)
Tabla de verdad:
p q r [(p q) (q r) ] (p r)
V V V V V V V V
V V F V F F V F
V F V F F V V V
V F F F F V V F
F V V V V V V V
F V F V F F V V
F F V V V V V V
F F F V V V V V
1 2 3 5 7 9 11 13
1-2 5-9 2-3 7-13 1-3
1. L R 1. K W 1. (G H ) ~(M P)
2. R E 2. W X 2. (M P) R
K X (G
verdad.
Proposiciones simples
Forma del argumento Condicional asociado
componentes:
L = El hombre es libre. 1. L R [(L R) (R E (L E)
R= El H es responsable 2. R E
E= El H puede evitar
Tabla de verdad
L R E [(L R) (R E) ] (L E)
V V V V V V V V
V V F V F F V F
V F V F F V V V
V F F F F V V F
F V V V V V V V
F V F V F F V V
F F V V V V V V
F F F V V V V V
1 2 3 5 7 9 11 13
1-2 5-9 2-3 7-13 1-3
El silogismo hipottico por ser una forma vlida de argumento puede ser usado como
una regla de inferencia. Veamos lo que precisa la regla:
Silogismo Hipottico
Si la estructura de un argumento presenta como premisas dos frmulas condicio-
nales (p q) y (q r), en la que el consecuente de una es el antecedente de la
otra, entonces podemos inferir como conclusin la condicional del antecedente de
la primera y el consecuente de la segunda (p r).
Comprensin de la regla:
- Una proposicin condicional 1. p q
- Otra proposicin condicional cuyo antecedente 2. q r
es el consecuente de la anterior
- Podemos concluir el antecedente de la primera p r
y el consecuente de la segunda
1. P
2.
3.
Actividad de aprendizaje
Ejercicio 5.7.
Instrucciones: Basado en la resolucin del primer ejemplo, completa lo que falta, apli-
cando la regla del silogismo hipottico.
Ejemplo:
A)
A Z (S.H. 1,2.)
B) 1. (R E)
C) R F) 1. R
2. P 2. S
3. 3. U
S
4. ________________ (S.H. 1, 2.) 4. R (S.H. )
5. ________________ (S.H. 4, 3.) 5. S (S.H. )
D) G)
K
4. ________________ (S.H. 2,3.)
5. ________________ (S.H. 4,1.)
6. ________________ (S.H. 1,3.)
Basta mostrar su forma lgica y cul es la regla lgica utilizada para obtener la
conclusin, para demostrar que es vlido. Utilizaremos constantes para simbolizar las
proposiciones:
1.
2. ~c
3.
4. ~d (aplicando el modus tollens a la proposiciones 1 y 2).
1. p q
2.
3. ~q
4. p (aplicando el silogismo disyuntivo a 1 y 3)
5. ~r (aplicando el modus ponens a 2 y 4).
que los argumentos son vlidos o no, por su forma, por la manera en que se relacionan
unas proposiciones con otras, y no por el contenido de las mismas.
Examinaremos algunos ejemplos de argumentos, expresados tanto en lenguaje
natural como en el lenguaje simblico de la lgica. Podr observarse que es ms clara
y sencilla la demostracin de su validez cuando sta se muestra simblicamente. En
lo sucesivo utilizaremos variables para representar cada una de las proposiciones de
estos ejemplos.
a)
1.
2.
3. No aumentaron los precios.
Luego
4.
5. Ahorraremos un poco de dinero (aplicando el M.P. a 2 y 4.).
Forma lgica:
1.
2.
3. ~q
4. ~p (M.T. 1,3.)
5. r (M.P. 2,4.)
b)
1. Los milagros tienen una causa sobrenatural o los milagros son fenmenos na-
turales.
2. Si los milagros tienen una causa sobrenatural, entonces los milagros no obede-
cen a leyes.
3. Si los milagros no obedecen a leyes, entonces los milagros no son predecibles.
4. Los milagros no son fenmenos naturales.
Luego
5. Los milagros tienen una causa sobrenatural (aplicando el S.D., en 1 y 4.).
6. Los milagros tienen una causa sobrenatural, entonces los milagros no son pre-
decibles (aplicando el S.H., en 2 y 3.).
7. Los milagros no son predecibles (aplicando el M.P., en 5 y 6.).
Forma lgica:
1. p q
2. r
s
4. q
5. p (S.D. 1,4.)
6. s (S.H. 2,3.)
7. s (M.P. 6,5.)
A) B)
1. (W
2. (U W
3. X Y 3. R U
4. ~G
5. Z 5. W
W
6. ~B 1, 5 M.P. 6. W ~G 5, 6, Conj.
7. X 2, 6 M.T. 1, 6, M.P.
8. Y 3, 7 S.D. 8. R 7, 4, M.T.
4, 8 M.P. 9. U 3, 8, S.D.
2, 9 S.H. 10. U W 9, 5, Conj.
11. W 2,10, M.P
Actividad de aprendizaje
Ejercicio 5.8.
Instrucciones: Anota la conclusin que se puede obtener a partir de las premisas.
1) Y
_______________ Adicin
2) (S L)
(K L)
3) (V (
(V Z)
4) (C E)
( D E)
_______________ Conjuncin
5) (I S)
_______________
6)
Ejercicio 5.9.
Instrucciones: Enuncia la regla de inferencia mediante la cual la conclusin se sigue
de las premisas.
1) 1. G E 2) B
2. E Z
G _______________ B Z _____________
3) 4) D)
2. ~A
B _______________ H D _____________
5) 1. X F 6) ( F)
F _______________ ( F) _____________
7) 1. 8) (K (S U)
2. Y (S U)
Q _______________ (K L) _____________
9) 1. T 10)
2. U
T U _______________ _____________
11) 1. O 12)
O I _____________ _____________
13) 14) (J W)
H
H _____________ (J W) _____________
Ejercicio 5.10.
-
tracin formal de los argumentos siguientes.
A) B)
1. F 1. [(C D) E] F
2. D 2. C
3. (F D) E 3. D
4. F D 1, 2,________ 4. C D 2, 3, ______
5. E 3, 4,________ 5. (C D) E 4, ________
6. F 1, 5 ______
B) D)
1. G 1. L (X D)
2. (G H) I 2. (D Y) S
Y
3. G H 1, ________ 3. X D 1, ________
4. I 2, 3 ________ 4. D Y 2 ,________
5. X Y 3, 4, ______
E) F)
1. J K 1. C A
2. L K 2. C D
L 3. D E
3. K 1, _________
4. L 2, 3 ________ 4. D 3, ________
5. C 2, 4, ______
6. A 1, 5, ______
G) H)
1. B H 1. Q P
2. H G 2. T P
3. J G 3. S T
4. B 4. S Q
J 5. P
5. B G 1, 2 ________
6. G 5, 4 ________ 6. Q 1, 5 ______
7. J 3, 6 ________ 7. S 4, 6 ______
8. T 3, 7 ______
9. P 2, 8 ______
I) J)
1. Z B 1. (W ~G) (R G)
2. X B 2. (U W) W
3. X Y 3. R U
4. Y 4. G
5. Z 5. W
Y W
6. B 1, 5 ________ 6. W ~G 5, 4 ______
7. X 2, 6 ________ 7. R G 1, 6 ______
8. Y 3, 7 ________ 8. R 7, 4 ______
9. B Y 4, 8 ________ 9. U 3, 8 ______
10. X Y 2, 9 ________ 10. U W 9,5 ______
11. W 2, 10 _____
K) L)
1. R T 1. ( D L) F
2. T N 2. C L
3. R M 3. D X
4. (N M) S 4. F
C
5. T 1 __________ 5. D L 1, 4 ______
6. N 2, 5 ________ 6. D 5 ________
7. R 1 __________ 7. X 3, 6 ______
8. M 3, 7 ________ 8. L 5 ________
9. N M 6, 8 ________ 9. C 2, 8 ______
10. S 4, 9 ________ 10. X C 7, 9 ______
M) N)
1. Q C 1. J E
S
3. 3. S K
4. C X
5. C 5. E 1 _______
6. C 4 _______ 6. S 2, 5 _____
7. Q 1, 5 _______ 7. K 3, 6 _____
8. R 2, 6 _______ 8. L 4, 7 _____
3, 7 _______
10. Z 5, 9 _______
) O)
1. K S
2. J K
3. K
4. (J
2, 1 _____
5. J 2, 3 _______ 3, 5 _____
6. S 1, 3 _______ 5, 6 _____
7. J S 5, 6 _______
8. G 4, 7 _______
Ejercicio 5.11.
A) B)
1. B V 1. H
2. (H
K
3. ____________ Simp. 1 3. ____________ Adic. 1.
4. ____________ M.T. 2, 3. 4. ____________ M.P. 2, 3.
C) D)
1. X Q 1. R
2. E Q 2. C
3. 3. (C
E) F)
S 1. A
2. L 2. [(Y A)
3. Y
3. ____________ Simp. 2
4. ____________ Simp. 1 4. ____________ Conj.3, 1.
5. ____________ S.H. 3, 4. 5. ____________ Ad.4.
6. ____________ M.P. 2, 5.
G) H)
Y
3. A T
U 4. B
5. U C
5. ____________ S.H. 3, 2.
6. ____________ M.T. 4, 5. 6. ____________ M.P. 5, 4.
7. ____________ M.T.1, 6. 7. ____________ M.T.1, 6.
8. ____________ S.D. 3,7.
9. ____________ M.P. 2, 8.
I) J)
B
2. ( D L) F
3. 3. X Y
4. F
C 5. Z
5. ____________ S.D. 2, 4,
6. ____________ Simp. 5. 6. ____________ M.P. 1,5.
7. ____________ Simp. 5. 7. ____________ M.T. 2,6.
8. ____________ M.P. 3, 6. 8. ____________ S.D. 3,7.
9. ____________ M.T.1, 7. 9. ____________ M.P. 4,8.
10. ____________ Conj. 8, 9. 10. ___________ S.H. 2,9.
K) L)
1. (W
2. (U W 2. T N
3. W 3. R T
4. G 4. (N
5. R U
W 5. ____________ 3. Simp.
6. ____________ Conj. 3, 4. 6. ____________ 2, 5. S.D.
7. ____________ M.P.1, 6. 7. ____________ 3. Simp.
8. ____________ M.T. 7, 4. 8. ____________ 1, 7. M.P.
9. ____________ S.D.5, 8. 9. ____________ 6,8. Conj.
10. ____________ Conj. 9,3. 10. ___________ 4, 9. M.P.
11. ____________ M.P. 2, 10,
M) N)
1. (J
2. K S
3. K
4. J K
5. ____________ S.H. 1, 2.
6. ____________ M.P. 3, 5. 5. ____________ S.D. 2, 3.
7. ____________ S.H. 5, 6. 6. ____________ S.D. 3, 4.
7. ____________ Conj. 6, 5.
8. ____________ M.P. 1, 7.
) O)
2. ~C C 2. S K
3. S
4. Q C 4. J E
Ejercicio 5.12.
Instrucciones: Realiza una prueba de demostracin formal de los argumentos siguientes.
A) B)
3. P
R
4. Q ________ ________
5. R ________ 5. E ________
C) D)
1. G 1. T V
2. (G
G 3. S)
3. G H ________ 4. V
4. I ________
5. I G ________. 5. T ________
6. S ________
7. W S _______.
8. W ________
E) F)
1. (A
2. Y A
3. (S
4. P 4. Y
5. R ________ 5. A ________
6. S ________ 6. Z ________
7. S R ________ 7. A Z ________
8. T ________ 8. B ________
G) H)
1. J E
3. S ~K
4. B
F
5. E ________ ________
6. ~S ________ 6. ~G ________
7. ~K ________ 7. ~J ________
8. ~L ________ 8. ~J F ________
I) J)
1. B
3. D
________ ________
________ 7. E ________
________
K) L)
1. (W
2. (U
3. X Y 3. R U
4. ~G
5. Z 5. W
6. ~B ________ 6. W ~G ________
7. X ________ ________
8. Y ________ 8. R ________
________ 9. U ________
________ 10. U W ________
11. W ________
L) M)
1. R ~T 1. (~D ~L) F
2. T N
4. (N 4. ~F
~C
5. ~T ________ 5. ~D ~L ________
6. N ________ 6. ~D ________
7. R ________ 7. X ________
8. M ________ 8. ~L ________
9. N M ________ 9. ~C ________
10. S ________ 10. X ~C ________
N) )
1. ~Q C 1. J E
3. S ~K
4. ~C X
5. ~C ________ 5. E ________
6. ~Q ________ 6. ~S ________
7. ~R ________ 7. ~K ________
________ 8. ~L ________
O) P)
1. K S
2. J K
3. ~K
4. (J
________ ________
5. J ________ ________
6. S ________ ________
7. J S ________
8. G ________
Q) R)
1. F 1. [(C D)
2. D 2. C
3. (F 3. D
4. F D ________ 4. C D ________
5. E ________ 5. (C D) E ________
6. F ________
S) T)
1. G 1. L
2. (G S
3. G H ________ ________
4. I ________ ________
________
U) V)
1. J ~K
2. ~C D
3. ~D E
3. ~K ________
4. ~L ________ 4. ~D ________
5. ~C ________
6. A ________
W) X)
3. S T
4. B
F 5. P
________
6. ~G ________ 6. Q ________
7. ~J ________ 7. S ________
8. ~J F ________ 8. T ________
9. P ________
p q (p q) ~ (p ~ q)
V V V V V V V V F F V
V F V F F V F V V V F
F V F V V V V F F F V
F F F V F V V F F V F
Reglas de equivalencia
Se denominan reglas de equivalencia o reemplazo a las formas bsicas en que
pueden ser sustituidas unas proposiciones por otras.
Cmo sabremos cuando usar una regla de equivalencia? Y Por qu usamos reglas
de equivalencia? Porque existen muchos argumentos que son vlidos, cuya validez no
puede demostrarse utilizando slo las reglas de inferencia, sino que requiere de reglas
adicionales.
Hay una diferencia importante entre las reglas de inferencia y las reglas de equi-
valencia, en las primeras se obtiene una consecuencia a partir de ciertas premisas,
en cambio, las reglas de equivalencia no son inferencias, se utilizan en demostracin
formal para sustituir o reemplazar una proposicin o una parte de sta, principalmente
como auxiliares cuando no es posible aplicar las reglas de inferencia.
Tautologa (Taut.)
Para saber si es una verdad lgica que podamos usar como una regla de equivalen-
cia, demuestra mediante una tabla de verdad si la frmula es una tautologa:
p [p (p p)]
V
F
p [p (p p)]
V
F
Para saber si es una verdad lgica que podamos usar como una regla de equivalen-
cia, demuestra mediante una tabla de verdad si la frmula es una tautologa:
p [p p]
V
F
Conmutacin (Conm.)
La conmutacin es una propiedad algebraica, que has estudiado en matemticas.
En lgica, la ley de conmutacin nos permite cambiar el orden de los elementos, pero
sin alterar la conectiva. Esta regla puede aplicarse con tres de los cuatro conectivos
didicos: conjuncin, disyuncin y bicondicional2. Veamos algunos ejemplos:
Ejemplo: Todos son inteligentes, pero algunos no lo saben.
Equivale a: Algunos no lo saben, pero todos son inteligentes.
2 Con el nico conectivo que no puede aplicarse esta regla es con el conectivo de la condicional,
(p q q p)
(p q q p)
(p q q p)
Para saber si es una verdad lgica que podamos usar como una regla de equivalen-
cia, demuestra mediante una tabla de verdad si las frmulas son tautologa:
p q (p q) (q p)
V V
V F
F V
F F
p q (p q) (q p)
V V
V F
F V
F F
p q (p q) (q p)
V V
V F
F V
F F
~(p ~p ~q)
~(p ~p ~q)
Para saber si es una verdad lgica que podamos usar como una regla de equivalen-
cia, demuestra mediante una tabla de verdad si la frmula es una tautologa:
p q [ (p q) ( p q)]
V V
V F
F V
F F
p q [ (p q) ( p q)]
V V
V F
F V
F F
3 Est regla recibe el nombre del distinguido matemtico ingls del siglo XIX Augustus DeMorgan.
Asociacin (Asoc.)
La asociacin es otra propiedad algebraica, que ya has estudiado en matemticas.
En lgica, la ley de asociacin se permite con proposiciones conjuntivas y disyuntivas.
En la asociacin lo que hacemos una reagrupar el orden de las proposiciones sin alterar
la conectiva. Veamos algunos ejemplos:
[p (q q) r]
[p (q q) r]
Para saber si es una verdad lgica que podamos usar como una regla de equivalencia,
demuestra mediante una tabla de verdad si la frmula es una tautologa:
p q r [(p (q r)] [(p q) r)]
V V V
V V F
V F V
V F F
F V V
F V F
F F V
F F F
Distribucin (Distr.)
La distribucin es tambin una propiedad algebraica que se aplica en lgica entre
proposiciones que son conjunciones o disyunciones. Una conjuncin equivale a la
disyuncin de las proposiciones conjuntadas y, viceversa, una disyuncin equivale a la
conjuncin de las proposiciones en disyuncin. Veamos algunos ejemplos:
[p (q q) (p r)]
[p (q q) (p r)]
Para saber si es una verdad lgica que podamos usar como una regla de equivalen-
cia, demuestra mediante una tabla de verdad si la frmula es una tautologa:
p q r [(p (q r)] [(p q) (p r)]
V V V
V V F
V F V
V F F
F V V
F V F
F F V
F F F
p q r [(p (q r)] [(p q) (p r)]
V V V
V V F
V F V
V F F
F V V
F V F
F F V
F F F
Transposicin (Trans.)
La transposicin es una propiedad que se aplica slo a las proposiciones condicio-
Para saber si es una verdad lgica que podamos usar como una regla de equivalen-
cia, demuestra mediante una tabla de verdad si la frmula es una tautologa:
p q (p q) ( q p)
V V
V F
F V
F F
(p p q)
Para saber si es una verdad lgica que podamos usar como una regla de equivalen-
cia, demuestra mediante una tabla de verdad si la frmula es una tautologa:
p q (p q) ( p q)
V V
V F
F V
F F
q) (q p)]
Para saber si es una verdad lgica que podamos usar como una regla de equivalen-
cia, demuestra mediante una tabla de verdad si la frmula es una tautologa:
q) (~ p ~q)]
Para saber si es una verdad lgica que podamos usar como una regla de equivalen-
cia, demuestra mediante una tabla de verdad si la frmula es una tautologa:
Exportacin (Exp.)
Cambia de conectivo de conjuncin a condicional, cuando el antecedente es una
conjuncin y los agrupa de diferente manera, al dejar el primer conjuntivo como an-
tecedente de toda la proposicin y pasar el segundo conjuntivo al consecuente de la
proposicin como parte de otra condicional. Veamos un ejemplo:
Ejemplo: Si hay buenas ventas y hay utilidades, entonces nos vamos de vacaciones.
Equivale a: Si hay buenas ventas, entonces si hay utilidades entonces nos vamos
de vacaciones.
En lenguaje simblico la frmula se representa as:
[(p q) p (q r)]
Para saber si es una verdad lgica que podamos usar como una regla de equivalen-
cia, demuestra mediante una tabla de verdad si la frmula es una tautologa:
Actividad de aprendizaje
Ejercicio 5.13.
Instrucciones: Para cada uno de los siguientes argumentos proporcione la regla de
equivalencia por la que se sigue la conclusin de su premisa:
1. J K
J ______________________
2. (C I) A
(I A) ______________________
3. ~( ~R D)
~D ______________________
4. T
~T ______________________
______________________
F ______________________
7. (X
______________________
8. I (G H)
G) (I H) ______________________
9. U
U ______________________
______________________
11. Q (P S)
P) (Q S) ______________________
12. V W
V ______________________
1. p q
2. p r
3. p (Simpl. 1.)
4. r (M.P. 2,3.)
1. (p q) r
2. p
3. q
4. p q (Conj. 2,3.)
5. r (M.P. 1,4.)
c)
1. Si aprob todas mis materias y tengo promedio de nueve, entonces estudiar
con una beca en Francia.
2. Aprob todas mis materias y mi situacin acadmica es regular.
3. Tengo promedio de nueve.
Luego
4. Aprob todas mis materias (aplicando la Simpl. en 2.)
5. Aprob todas mis materias y tengo promedio de nueve (aplicando la Conj. en
4 y 3.).
6. Estudiare con una beca en Francia (aplicando el M.P. en 1 y 5.).
1. (p q) r
2. p t
3. q
4. p (Simpl. 2)
5. p q (Conj. 4,3)
6. r (M.P.1,5)
a) b)
1. p (q r) 1. ~(p q)
2. ~ (p r)
m)
4. (t 4. ~m
5. s
5. (p q) (p r) (Distr. 1.) t
6. p q (S.D. 2,5.) 6. ~p ~q (De M. 1.)
7. p (Simpl. 6.) 7. ~q (Simpl. 6.)
8. t (M.P. 3,7.) 8. ~r (M.T. 2,7.)
9. t s (Ad. 8.) 9. t m (M.P. 3,8.)
10. r (MP. 4,9.) 10. t (S.D. 4,9.)
11. s t (Conj. 5,10.)
Actividad de aprendizaje
Ejercicio 5.14.
A) B)
1. F D 1. ~(~H ~G)
2. (D 2. (G
C) D)
1. (~K J) R 1. P (Q R)
2. (P
3. ~K (J R) 1. __________ 3. (P Q) (P R) 1. __________
4. ~K 3. __________ 4. P Q 3. __________
5. ~L 2, 4. ________ 5. S 2, 4. ________
E) F)
1. L
S
1. __________ 1. __________
3, 2. ________ 3. __________
4. __________
2. __________
5, 6. ________
G) H)
1. [(C D)
2. E (D C) 2. ~C D
3. (~D E ) H
3. (D C) E 2. ________
4. (C D) E 3. ________ 4. ~D (E H) 3. ________
5. F 1, 4. _______ 5. ~D 4. ________
6. ~C 2, 5. _______
7. A 1, 6. _______
I) J)
1. S (~J K) 1. P
K) L)
1. ~(~P ~Q) 1. ~J E
2. ~E J
2. ~~P ~~Q 1. ________
3. P Q 2. ________ 1. ________
4. (P Q) (~P ~Q) 3. ________ 2. ________
4. ________ 3, 4. _______
5. ________
M) N)
1. ~( X ~Y) 1. ~W (G R)
Actividad de aprendizaje
Ejercicio 5.15.
A) B)
1. C ~B 1. ~T
2. _____________ Adic. 1.
3. _____________ Conm. 1. 3. _____________ Impl. 2.
4. _____________ Impl. 3. 4. _____________ Trans. 3.
5. _____________ S.H. 2, 4.
C) D)
1. ~(~A ~Y)
2. ~F
E) F)
1. L (R S)
2. (L
3. (L
3. _____________ Conj. 1, 2. U
4. _____________ Equiv. 3. 4. _____________ Dist. 1.
5. _____________ Simp. 4.
6. _____________ M.P. 2, 5.
7. _____________ Simp. 4.
8. _____________ M.P. 3, 7.
9. _____________ Conj. 6, 8.
G) H)
1. (A B) ~C 1. (X Y) Z
~C
2. _____________ Conm. 1. 3. ~ (W Y)
3. _____________ Distr. 2.
4. _____________ Simp. 3. 4. _____________ De M. 3.
5. _____________ Impl. 4. 5. _____________ Simp. 4.
6. _____________ Trans. 4. 6. _____________ M.T. 2, 5.
7. _____________ Imp. 6. 7. _____________ S.D. 1, 6.
8. _____________ D.N. 7. 8. _____________ Simp. 4.
9. _____________ S.D. 7, 8.
I) J)
1. S (~R U) 1. P
S
Actividad de aprendizaje
Ejercicio 5.16.
Instrucciones: Demuestra la validez de los siguientes argumentos mediante una prueba
formal, previa traduccin del espaol al lenguaje simblico.
Actividad de aprendizaje
Ejercicio 5.17.
-
tracin formal de los argumentos siguientes.
A) B)
1. (D E) 1. (l
2. ~(E F) 2. (Q R) l
F)
4. ~(F E) _________ 3. l (Q R) _________
5. ~( D F) _________ 4. (l Q) (l R) _________
5. l Q _________
6. O _________
E) H)
2. ~C D
~G 3. (~D E ) H
_________
_________ 4. ~D (E H) _________
5. ~B ~G _________ 5. ~D _________
6. ~C _________
7. A _________
I) L)
1. S (~J K) 1. ~O E
2. ~E O
M) O)
1. ~( X ~Y) 1. ~E (D C)
X
2. ~X ~~Y _________ 3. (C
3. ~X Y _________
_________ 4. ~E _________
_________ 5. ~T _________
6. ~~Y X _________ 6. D C _________
7. Y X _________ 7. C D _________
8. ~F _________
9. ~T ~F _________
10. (~T ~F) D _________
11. ~(T F) D _________
12. (T _________
P) Q)
1. ~T 1. ~(~A ~Y)
2. ~T ~H _________
_________ 3. ~~A ~~Y _________
_________ 4. A Y _________
_________ 5. A _________
6. X _________
R) S)
1. L (R S) 1. (A B) ~C
2. (L ~C
3. (L 2. ~C (A B) _________
U 3. (~C A) (~C B) _________
4. (L R) (L S) _________ 4. ~C A _________
5. L R _________ 5. A ~C _________
6. T _________
7. L S _________
8. U _________
9. T U _________
Glosario
Didico. Se dice de las conectivas lgicas que unen dos proposiciones simples.
Por ejemplo, la condicional, conjuncin, disyuncin y bicondicional.
Dilema. Silogismo disyuntivo en el cual las dos conclusiones alternativas
enuncian la misma tesis o la implican.
Disyuncin. Relacin entre dos proposiciones expresadas por la letra o; se llama
disyuncin exclusiva o fuerte cuando ambos enunciados no pueden
ser verdaderos, y dbil o inclusiva cuando pueden serlo.
Enunciado.
Formalizar. Sustituir los enunciados o proposiciones de un sistema por meras
estructuras formales y derivarlos de un conjunto bien determinado de
Bibliografa general
Otros recursos
http://w3.cnice.mec.es/eos/MaterialesEducativos/mem2003/logica/