UNIVERSIDAD FRANCISCO GAVIDIA

FACULTAD DE INGENIERIA Y SISTEMAS

EJERCICIOS PRUEBA DE VALIDEZ E INVALIDEZ
CICLO 01- 2014
Asignatura: Lgica Proposicional /
Horario: Martes y Jueves,
Lgica Matemtica
8:10 am 9:50 am
Profesor: Ing. Mara Cristela Fuentes
e-mail: mfuentes@ufg.edu.sv

Grupo: 12
Aula: a 37-38

Alumno:
Apellidos

Cdigo Carrera:

Nombres

Carne UFG:

Fecha: 08/03/2014

Firma

Calificacin:

INDICACIN: Resolver los ejercicios del libro de texto Introduccin a la Lgica de

Irving Copi
I. Para cada uno de los siguientes argumentos, enunciar la regla de inferencia por la cual la
conclusin se sigue de las premisas.

Argumentos
([I (J K) (J I)

Reglas utilizadas

[(I J) K] (J I)

(R v S) (R v S)
(R S) (R v S)

II. Cada uno de los siguientes argumentos es una prueba formal de validez del argumento
indicado. Enunciar la justificacin de cada lnea que no sea una premisa.

Argumentos
1. (M v N) (O P)
2. O / M
3. O v P
4. (O P)
5. (M v N)
6. M N
7. M

Reglas utilizadas para justificar cada rengln

de la prueba de validez (en color rojo)

1. (D E) F
2. F v (G H)
3. D E / D G
4. (D E) (E D)
5. D E
6. D (D E)
7. D F
8. (F v G) (F v H)
9. F v G
III. Para cada uno de los siguientes argumentos, aadir exactamente los dos enunciados que
hacen falta a las premisas para producir una prueba formal de validez. Construir una
prueba formal de validez para cada uno de los siguientes argumentos.

Argumentos

Reglas utilizadas para justificar los dos

renglones agregados de la prueba de validez

E / (E v F) (E v G)

Q [R (S T)]
Q (Q R) / Q (S T)

IV. Para cada uno de los siguientes argumentos, aadir los tres enunciados que hacen
falta a las premisas para poder producir una prueba formal de validez. Construir
una prueba formal de validez para cada uno de los siguientes argumentos.
Argumentos
Reglas utilizadas para justificar los tres
renglones agregados de la prueba de validez
(Z v A) v B
A / Z v B

Q [R (S T)]
Q (Q R) / Q (S T)

V. Los ejercicios de esta serie corresponden a patrones frecuentes de inferencia que se

hallan en pruebas ms extensas de validez. La familiaridad con ellas ser til en el
trabajo subsecuente. Construir una prueba formal de validez para cada uno de los
siguientes argumentos.

Argumentos
E (F G)
F (E G)

Reglas que justifican la prueba de validez

TU
T V / T (U V)

VI. Construir una prueba formal de validez para cada uno de los siguientes argumentos.

Argumentos
[(M N) O] P
Q [(O M) N
Q v P

MN
M (N O)
M O

Reglas que justifican la prueba de validez

VII. Construir una prueba de validez para cada uno de los siguientes argumentos, usando
en cada caso la notacin sugerida.
1. Slo puede tener muchos amigos si los respeta como individuos. Si los respeta
como individuos, no puede esperar que se comporten todos de la misma manera.
l tiene muchos amigos. Luego, no espera que todos se comporten de la misma
manera. (A, R, E)

2. Si el cajero o el contador hubieran apretado el botn de alarma, la bveda se

habra cerrado automticamente y la polica habra llegado en tres minutos. Si la
polica hubiera llegado en tres minutos, habra podido alcanzar el automvil de los
ladrones, luego el cajero no apret el botn de alarma. (T, C, V, P, O)