Facultad de Educación

TALLER DE LÓGICA 4
TEMA: INFERENCIAS Y DEMOSTRACIONES
SEMESTRE: FECHA:
INTEGRANTES

En cada una de las situaciones, resuelva de acuerdo con los conceptos, leyes,
propiedades dadas en las inferencias y demostraciones. Dar la solución a continuación
de cada punto y subir uno del grupo a la plataforma

1. Identifica las premisas y la conclusión en el siguiente enunciado:

a) “Juan toma el autobús o el tren. Si él toma el autobús o maneja su propio auto,
entonces llega tarde y falta a la primera sesión. No llegó tarde. En consecuencia,
no tomó el tren”.
P1:
P2:
P3:

b) “Si presto atención al profesor de lógica, me aburro. Si no lo hago, me aplaza. De

modo que, me aburro o me aplaza”.
P1:
P2:
P3:

2. Identifica la conclusión de acuerdo con las siguientes premisas:

a) Si estudio inglés, entonces ganaré una beca para ir a EE.UU. No gané la beca.
La conclusión es:

b) Si eres caraqueño eres venezolano. No eres venezolano

La conclusión es:

3. Justifica la validez del siguiente argumento

“Rita está horneando un pastel. Si Rita está horneando un pastel, entonces no está
practicando la flauta. Si Rita no está practicando la flauta, entonces su padre no
pagará el seguro de su automóvil. Por lo tanto, el Padre de Rita no pagará el seguro
del automóvil”. Usa las leyes de las inferencias.
Justificación

4. Aplica las leyes de la inferencias, para deducir o concluir lo pedido:

a) Deducir “p ↔ q” de las siguientes premisas
(1) ∼ (p → q) → r
(2) ∼r
(3) q→s
(4) s→p
(5)
 Facultad de Educación

b) Deducir “t” de
(1) p
(2) p → q
(3) rvs
(4) s → ~q
(5) ~t→ ~ (r  p)
(6)

c) Deducir “p” de
(1) (~p v ~q) → (r  s)
(2) r→t
(3) ~t
(4) ~r
(5)

d) Deducir “q ↔ ∼s”
(1) p →q
(2) r→s
(3) pvr
(4) p → ∼s
(5) r → ∼q
(6)

5. Elaborar la demostración directa de los siguientes teoremas con las fórmulas

correspondientes:
a) Sean a y b enteros positivos impares. Demuestre que ab es un entero positivo
impar
Demostración

b) Si a, b, c R son tales que a b y b c entonces a c

Demostración
 Facultad de Educación

6. Resuelva por el método de inducción matemática

a) Demostrar que para todo entero n ≥ 1, se verifica que:
P(n): 1+2+3+… +n = n (n+1) /2

Demostración

b) Demostrar que para todo entero n ≥ 1, se verifica que:

P(n): 2+4+6+…2n = n2+ n
Demostración

c) Demostrar que para todo entero n ≥ 1, se verifica que:

P(n): 1+3+5+…+ (2n – 1) = n2
Demostración