UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

LGICA MATEMTICA
TUTORA RICA ZULAY DAZ

La educacin es la base de la felicidad de las

Naciones, de las familias y de los individuos:
La educacin hace buenos padres, buenos hijos y buenos ciudadanos
Carlomagno.

TALLER 3
INFERENCIA DE LGICA

1. Qu conclusin se puede sacar de cada uno de los siguientes conjuntos

de premisas? Simboliza e indica la regla que cumplen.
a. Si no nos despedimos ahora, entonces no cumpliremos nuestro plan.
No nos despedimos ahora.
b. Si un ngulo de un tringulo es mayor que 90, entonces la suma de
los otros dos ngulos es menor de 90. La suma de los otros dos
ngulos no es menor de 90.
c. Este hombre o es un abogado o un ingeniero. No es un abogado.
d. Son las cinco. Si son las cinco, entonces la oficina est cerrada.
e. Si hace calor, entonces Juan va a nadar. Si juan va a nadar, entonces
arregla la casa despus de comer.
f. Si esta planta no crece, entonces o necesita ms agua o un mejor
abono. Esta planta no crece.
g. No ocurre que un quinto no es el veinte por ciento.
h. Jos no es mi hermano. Susana es mi hermana, entonces Jos es mi
hermano.
2. Indica en cada ejercicio si la conclusin es correcta o no, segn el Modus
Ponendo Ponens. Justifica tu respuesta.
a. Premisas

Conclusin

b. Premisas

Conclusin

c. Premisas

Conclusin

d. Premisas
e. Premisas

Conclusin
Conclusin

f. Si no es cierto que todos son felices, entonces algunos estn tristes.

No es cierto que algunos estn triste Por lo tanto,Algunos son
felices.

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

LGICA MATEMTICA
TUTORA RICA ZULAY DAZ

g. Si no se presenta al examen, entonces tendr que pagar supetorio.

Tuvo que pagar supletorio. Por lo tanto no se present al examen.
h. Si no hace frio, entonces el lago no se helar. No hace frio. Por lo
tanto el lago no se helar.
3. De los siguientes conjuntos de premisas, indica que regla puedes aplicar
y cul es la conclusin.
a. P1:

P2:

b. P1:

P2:

c. P1: r

P2:

d. P1:

P2:

e. P1:
f. P1:

P2:

g. P1:

P2:

h. P1:

P2:

i. P1:
j. P1:

P2:

4. Qu conclusin, en forma de proposicin escrita en castellano, se

puede deducir de cada uno de los conjuntos de premisas siguientes
utilizando la regla TP?
a. P1:

c. P1:

P2:

P2:

b. P1:

d. P1:

P2:

P2;

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

LGICA MATEMTICA
TUTORA RICA ZULAY DAZ

5. Qu conclusin se puede sacar (si se puede sacar alguna), por la ley del
silogismo hipottico de los conjuntos de proposiciones siguientes.
Simboliza.
a. Si la tierra es un planeta, entonces no es una estrella. Si no
es una estrella, entonces no es un astro. Si no es un astro,
entonces no posee luz propia.
b. Si el agua se hiela, entonces sus molculas forman cristales.
Si las molculas forman cristales, entonces el agua aumenta
de volumen.
c. Si Toms conduce a una velocidad de 50 Km/h. entonces en 9
horas habr
recorrido 450 Km.
Si en 9 horas no ha
recorrido 450 Km, entonces habr recorrido 90 Km ms que
ayer en el mismo periodo.

6. Para cada uno de los conjuntos de premisas siguientes se ha establecido

una conclusin. En algunos casos, la conclusin es consecuencia l gica
slo si se aaden parntesis que indiquen la agrupacin adecuada. Aade
los parntesis cuando sea necesario a fin de hacer la conclusin vlida,
indica la ley que aplicas.
a.

P1:
CC:

b. P1:
P2:
CC:
c. P1:
CC:
d. P1:
P2:
CC:

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

LGICA MATEMTICA
TUTORA RICA ZULAY DAZ