CURSO DE LÓGICA PROPOSICIONAL CUADERNILLO DE EJERCICIOS V. 1.

1
KUEPA COLBACH Por Eduardo Pérez

Justificación: Este manual tiene la finalidad de reforzar el aprendizaje del aula, así como
desarrollar la competencia lógica-matemática del estudiante a través de una serie de ejercicios y
un formulario básico. Sin embargo, no sustituye a la explicación en clase al constar solamente de
ejercicios progresivos. Es decir, no es este documento una guía para autodidactas, sino un
material de apoyo a las clases presenciales del curso de lógica.
Al ser este manual una primer versión, se esperan modificaciones de acuerdo al desempeño de
los estudiantes y la claridad de los ejercicios. Este manual no representa a institución alguna, por
lo que puede ser compartido o modificado para futuras versiones que unifiquen este documento.

Términos de enlace:

Conjunción: representa una conectiva que es una “y”: &

Disjunción: representa una conectiva que es una “ó”: \/
Negación: representa una conectiva que es un “no”: ¬
Condicional material: representa una conectiva que es un “si… entonces…”: →
Bicondicional material: representa una conectiva que es un “sí y sólo si”: ↔

Las variables proposicionales más usadas son:

p, q, r, s, A, B, C, D. Recuérdese que pueden elegirse de acuerdo a la proposición en español,

siempre y cuando atiendan a la especificidad del argumento. Es importante recordar que una
variable proposicional puede simbolizar una afirmación o negación de una misma idea del
español.

EJERCICIO 1.

A.
Instrucciones: Señala las proposiciones atómica con una A, y a las moleculares con una M.

1. Son las tres de la tarde

2. Son las tres de la tarde y está por iniciar la reunión
3. He ido a correr y me ha mordido un perro
4. Tengo un sueño tal que podría dormirme de pie
5. A este perro grande le gusta cazar gatos
6. Ese gato es un villano con los bebés
7. Si hubiera nacido en otro país entonces no nos habríamos conocido
8. Puedes ser que lleve paraguas, siempre y cuando me lo devuelva Roberto.
9. O vemos una película en casa o nos vamos de fiesta.
10. No nos vamos de fiesta
11. Vemos en una película en casa y comemos palomitas acarameladas
12. El gran oso negro andaba perezosamente por el bosque hasta que encontró a esos campistas
13. Huye de la rutina un grupo de amigos o han sido comidos por el gran oso perezoso del bosque
14. El oso perezoso es vegetariano
15. Se puede encontrar a Juan en casa de Armando
16. Él buscaba su pipa y su mechero
17. No es cierto que me gusta la música alegre
18. Si no tuviera que dormir, vería cine negro toda la noche
19. La puerta está abierta y la ventana también
20. x=1 o y+z=2

Página 1 de 16
CURSO DE LÓGICA PROPOSICIONAL CUADERNILLO DE EJERCICIOS V. 1.1
KUEPA COLBACH Por Eduardo Pérez

B.
Instrucciones: Utiliza el paréntesis para poner de manifiesto la forma de las siguientes
proposiciones moleculares.

1. Juan está aquí y María ha salido

2. Si x+1=10 entonces x=9
3. O te deshaces de ese gato o me voy yo
4. Si me mudo a la calle entonces debo de ser muy sagaz
5. No ocurre que 6=7
6. No ocurre que si x+0=10 entonces x=5
7. Si Pedro está en casa o Juan está en el patio, entonces José es inocente
8. Bebo tequila y cerveza
9. Si mi teléfono está apagado entonces nadie me molesta
10. Si nadie me molesta entonces me aburro
11. Nadie me molesta
12. No estoy aburrido, sino lo que sigue a eso

C.
Instrucciones: Identifica todos los términos de enlace de las siguientes proposiciones.

1. No es medio día y el almuerzo no está listo

2. Si no estamos allí entonces perderemos nuestro voto
3. Si x+y=z entonces y+x=z
4. Es cierto que en lógica no importa el orden de las proposiciones
5. No he dormido en tres días
6. No quiero helado y no quiero nada
7. Si es negro entonces no se reflejará la luz
8. María ha cambiado de número o simplemente no quiere hablarte
9. Si la música está alta entonces no escucharé si me hablan
10. O vienes o voy por ti
11. Si voy por ti, entonces no será en vano
12. Tendrás que hacer los deberes de la casa y también tu tarea
13. Si no terminas a tiempo, te olvidas de la fiesta
14. No puedo faltar a esa fiesta o perderé mi gran oportunidad de besarla
15. Si tomo azúcar, me pongo hiperactivo

D.
Instrucciones: Simboliza las siguientes proposiciones del español al lenguaje de la lógica
simbólica.

1. Los patitos no se transforman en cisnes

2. Daba dos pasas a la derecha y yo dos a la izquierda
3. Esa noche fue un desastre, o no nací para bailar
4. Si la clase de física cuántica ya ha iniciado, entonces hago bien jugando fútbol
5. O Antonio irá al teatro o irá al cine
6. Las rosas son blancas y los gatos son negros
7. Si Chile está en Sudamérica entonces no poseen como lengua nativa alguna lengua
anglosajona
8. Mi gato blanco escapó anoche
9. Estos problemas no son fáciles para mí
10. Necesito ponerme gafas o el sol está radiante hoy
Página 2 de 16
CURSO DE LÓGICA PROPOSICIONAL CUADERNILLO DE EJERCICIOS V. 1.1
KUEPA COLBACH Por Eduardo Pérez

E.
Instrucciones: Subraya el antecedente en las siguientes proposiciones condicionales

1. Si la ventana está abierta entonces escucho el pésimo gusto musical del vecino
2. Si enciendo el motor entonces me voy
3. Si tomo mucha agua entonces tendré que buscar un baño
4. Si es un ácido entonces contiene el elemento hidrógeno
5. Si hoy es siete entonces el viernes es trece
6. Si es viernes trece, podremos oficiar la misa negra
7. Si hacemos la misa negra, entonces necesitamos un gato
8. Si resuelven todos los ejercicios, pasarán el examen o habrán perdido su tiempo
9. Si el tiempo no vale nada, entonces no es justo recibir un salario
10. Si el salario no equivale a tiempo, entonces equivale a fuerza de trabajo
11. Si no me canso en mi trabajo, no merezco la paga
12. Si me canso en mi trabajo, los demandaré por explotadores
13. Si los demando entonces me corren o me hago millonario
14. Si me hago millonario, dejo de trabajar
15. Si dejo de trabajar, entonces me aburro
16. Si me aburro por no trabajar, entonces no trabajo por dinero
17. Si no trabajo por dinero, entonces trabajo por capricho o por el gusto de hacer algo
18. Si el trabajo es un capricho, entonces la vida es un capricho
19. Si todo es igual a un capricho, entonces estamos en la vida para perder el tiempo solamente
20. Si me puedo permitir perder el tiempo, entonces acepto que no vale nada
21. Si no vale nada el tiempo, la vida es tiempo
22. Si la vida es tiempo, vale lo mismo que el tiempo

F.
Instrucciones: Subraya el consecuente en las siguientes proposiciones condicionales

1. Si la ventana está abierta entonces escucho el pésimo gusto musical del vecino
2. Si enciendo el motor entonces me voy
3. Si tomo mucha agua entonces tendré que buscar un baño
4. Si es un ácido entonces contiene el elemento hidrógeno
5. Si hoy es siete entonces el viernes es trece
6. Si es viernes trece, podremos oficiar la misa negra
7. Si hacemos la misa negra, entonces necesitamos un gato
8. Si resuelven todos los ejercicios, pasarán el examen o habrán perdido su tiempo
9. Si el tiempo no vale nada, entonces no es justo recibir un salario
10. Si el salario no equivale a tiempo, entonces equivale a fuerza de trabajo
11. Si no me canso en mi trabajo, no merezco la paga
12. Si me canso en mi trabajo, los demandaré por explotadores
13. Si los demando entonces me corren o me hago millonario
14. Si me hago millonario, dejo de trabajar
15. Si dejo de trabajar, entonces me aburro
16. Si me aburro por no trabajar, entonces no trabajo por dinero
17. Si no trabajo por dinero, entonces trabajo por capricho o por el gusto de hacer algo
18. Si el trabajo es un capricho, entonces la vida es un capricho
19. Si todo es igual a un capricho, entonces estamos en la vida para perder el tiempo solamente
20. Si me puedo permitir perder el tiempo, entonces acepto que no vale nada
21. Si no vale nada el tiempo, la vida es tiempo
22. Si la vida es tiempo, vale lo mismo que el tiempo

Página 3 de 16
CURSO DE LÓGICA PROPOSICIONAL CUADERNILLO DE EJERCICIOS V. 1.1
KUEPA COLBACH Por Eduardo Pérez

EJERCICIO 2

A.
Instrucciones: De cada una de las proposiciones se dice si es una conjunción, disjunción o
condicional. Indica con un paréntesis el agrupamiento adecuado. Recuérdese que la conjunción y
la disjunción son igual de fuertes, la negación es la más débil, y que sólo el condicional es el más
fuerte de los términos de enlace, de tal manera que puede no llevar paréntesis.

1. disjunción S V T & R
2. conjunción T V S & Q
3. conjunción T & S V R
4. disjunción R V P→Q
5. conjunción P & R → S
6. disjunción M V N & T
7. disjunción R → S V T
8. condicional Q & M→ S
9. condicional P V R → T
10. condicional R → S V Z
11. conjunción R & M V X
12. disjunción X V Y & Z
13. conjunción R → S& T
14. disjunción R →S V T
15. condicional F V M → K

B.
Instrucciones: De cada una de las proposiciones matemáticas se dice si es una conjunción,
disjunción o condicional. Indica con un paréntesis el agrupamiento adecuado.

1. disjunción x=0 V x=1 → y=2

2. conjunción x=0 & x≠0 V y=z
3. conjunción x=y → y≠z & y≠3
4. disjunción x>y & y>z V x>z
5. conjunción x=z V y>z & x=y
6. disjunción x≠0 V x>y & y=z
7. disjunción x=y → y=o V x=1
8. condicional x≠1 & y=1 → x≠z
9. condicional y+3=4 & x=1 → y=x
10. condicional x+4≠5 → y=x-1 & x=3
11. conjunción y+x=5 & y=x-1 → x=3
12. disjunción y=x-1 V y=2 → y+x=5
13. conjunción x>y & y=2 V y=x-1
14. disjunción z=5 V x>y & y=x-1
15. condicional y≠z → z>x & z>y
16. conjunción x≠1 & y=1 → x≠z
17. conjunción y+3=4 & x=1 → y=x
18. disjunción x=0 & x≠0 V y=z
19. condicional x=y → y≠z & y≠3
20. conjunción x≠0 V x>y & y=z
21. disjunción y≠z V z>x & z>y
22. condicional z>5 → x>y & y<z
23. conjunción z>x → x>2 & y<3
24. disjunción x+4≠5 → y=x-1 V y=3
Página 4 de 16
CURSO DE LÓGICA PROPOSICIONAL CUADERNILLO DE EJERCICIOS V. 1.1
KUEPA COLBACH Por Eduardo Pérez

C.
Instrucciones: simboliza las siguientes proposiciones tal como el siguiente ejemplo:
Juan es el más pequeño y Pedro es el más alto, ó Pedro es el más bajo y Juan el más alto
J= Juan es el más pequeño
P= Pedro es el más alto
R= Pedro es el más bajo
S= Juan es el más alto
(J & P) V (R & S)

1. No es medio día y el almuerzo no está listo o nadie tiene hambre

2. Si no estamos allí entonces perderemos nuestro voto y ganará el de siempre
3. Si x+y=z entonces y+x=z o z>x+y
4. Es cierto que en lógica no importa el orden de las proposiciones y que estudia la forma de las
mismas
5. No he dormido en tres días y no tengo sueño, o me estoy quedando loco
6. Si no quiero helado y no quiero nada, entonces sólo quiero romper la piñata
7. Si es negro entonces no se reflejará la luz o la absorberá
8. Si María ha cambiado de número, o simplemente no quiere hablarte o jamás fuiste su amiga
9. Si la música está alta entonces no escucharé si me hablan o si me gritan
10. Si escucho una novena entonces estoy de mal humor o cansado
11. Si se enteran entonces estoy frito, y no quiero que nadie se entere
12. Tendrás que hacer los deberes de la casa y también tu tarea
13. Si no terminas a tiempo, te olvidas de la fiesta
14. No puedo faltar a esa fiesta o perderé mi gran oportunidad de besarla
15. Si tomo azúcar, me pongo hiperactivo
16. No todas las regiones de África tienen un clima cálido y húmedo y no toda el África ecuatorial
es una tierra de vegetación espesa y exuberante
17. No ocurre que, o estrellas muy lejanas presentan paralaje o aparecen en el telescopio como
discos
18. No ocurre que, a la vez Juana sea su hermana y Rosa sea su hermana
19. Si se conoce el periodo del movimiento de la luna y se sabe la distancia de la tierra a la luna,
entonces se puede calcular la aceleración centrípeta de la luna.
20. O sus deberes están terminados, o si no están terminados tendrá que hacerlos por la noche.

EJERCICIO 3.

A.
Instrucciones: De acuerdo al método de inferencia modus ponendo ponens. Llegar a la conclusión
de cada de una de las premisas. Recuérdese que en este método se afirma el consecuente de
una proposición condicional, afirmando primero el antecedente. Agregaremos que las premisas
están justificadas por la regla de premisas: se puede introducir una premisa en cualquier punto de
la deducción y se justifican con una P. El modus ponendo ponens se abrevia con PP, y se señala a
partir de qué proposiciones se obtiene, tal como el siguiente ejemplo:

(1) P V Q P
(2) P V Q → R P
(3) R PP 2,1

Recuérdese que el orden de las proposiciones es indistinto y no tiene mayor relevancia. Así como
que el antecedente o consecuente de la proposición condicional, puede ser una proposición
atómica o molecular

Página 5 de 16
CURSO DE LÓGICA PROPOSICIONAL CUADERNILLO DE EJERCICIOS V. 1.1
KUEPA COLBACH Por Eduardo Pérez

1. (1) P → Q & R
(2) P
(3)

2. (1) P → Q V R
(2) P
(3)

3. (1) ¬R
(2) ¬R → Q & P
(3)

4. (1) ¬P
(2) ¬P → Q
(3)

5. (1) ¬P → ¬R
(2) ¬P
(3)

6. (1) ¬S & T → M
(2) ¬S & T
(3)

7. (1) (¬S V T) → (¬M & P)

(2) (¬S V T)
(3)

8. (1) ¬(M V N)
(2) ¬(M V N) → ¬(R & T)
(3)

B.
Instrucciones: De acuerdo al método de inferencia modus ponendo ponens y la demostración en
dos pasos, llegar a la proposición que se pide

9. Demostrar: ¬T
(1) R → ¬T P
(2) S → R P
(3) S P
(4)
(5)

10. Demostrar: C
(1) A → B & D P
(2) B & D → C P
(3) A P
(4)
(5)

Página 6 de 16
CURSO DE LÓGICA PROPOSICIONAL CUADERNILLO DE EJERCICIOS V. 1.1
KUEPA COLBACH Por Eduardo Pérez

11. Demostrar: M V N
(1) ¬J → M V N P
(2) F V G → ¬J P
(3) F V G P
(4)
(5)

12. Demostrar: G
(1) ¬H → ¬J P
(2) ¬H P
(3) ¬J → G P
(4)
(5)

13. Demostrar: ¬S
(1) T P
(2) T → ¬Q P
(3) ¬Q → ¬S P
(4)
(5)

16. Demostrar: R
(1) S → ¬T P
(2) S P
(3) ¬T → R P
(4)
(5)

17. Demostrar: x=y

(1) x+1=2 P
(2) x+1=2 → y+1=2 P
(3) y+1=2 → x=y P
(4)
(5)

18. Demostrar: x=3

(1) x+4≠5 → y=x-1 & x>y P
(2) y=x-1 & x>y → x=3 P
(3) x+4≠5
(4)
(5)

19. Demostrar: x>10

(1) x>y & y>z → x>z P
(2) x>y & y>z P
(3) x>z → x>10 P
(4)
(5)

Página 7 de 16
CURSO DE LÓGICA PROPOSICIONAL CUADERNILLO DE EJERCICIOS V. 1.1
KUEPA COLBACH Por Eduardo Pérez

EJERCICIO 4

A.
Instrucciones: Escribe la letra C junto a cada afirmación cierta, o la letra F, según sea falsa.

1. De ¬¬R se puede deducir R

2. De S se puede deducir ¬S
3. De P → Q y P se puede deducir Q
4. De Q se puede deducir ¬¬Q
5. De R → S y S se puede deducir R

B.
Instrucciones: Aplica la regla de doble negación al modus ponendo ponens para llegar al resultado
deseado.

1. Demostrar: ¬¬T
(1) S → T P
(2) S P
(3)
(4)

2. Demostrar: B
(1) ¬A P
(2) ¬A → ¬¬B P
(3)
(4)

3. Demostrar: G
(1) H → ¬¬G P
(2) H P
(3)
(4)

4. Demostrar: P V Q
(1) R → ¬¬(P V Q) P
(2) R P
(3)
(4)

5. Demostrar: ¬¬N
(1) M → ¬P P
(2) ¬P → N P
(3) M
(4)
(5)

6. Demostrar: Q
(1) J → K & M P
(2) J P
(3) K & M → ¬¬Q P
(4)
(5)
(6)
Página 8 de 16
CURSO DE LÓGICA PROPOSICIONAL CUADERNILLO DE EJERCICIOS V. 1.1
KUEPA COLBACH Por Eduardo Pérez

EJERCICIO 5

A.
Instrucciones: Deducir una conclusión de cada uno de los conjuntos de premisas, aplicando la
regla del modus tollendo tollens.

1. (1) Q → R P
(2) ¬R P
(3)

2. (1) ¬P → Q P
(2) ¬ Q
(3)

3. (1) R → S P
(2) ¬S
(3)

4. (1) Q → ¬R P
(2) ¬¬R P
(3)

5. (1) P → Q & R P
(2) ¬(Q & R) P
(3)

6. (1) P V Q → R P
(2) ¬R
(3)

B.
Instrucciones: Demostrar que las conclusiones son consecuencia de las premisas dadas.

1. Demostrar: C
(1) ¬B P
(2) A → B P
(3) ¬A → C P

2. Demostrar: R & S
(1) P → ¬Q P
(2) Q P
(3) ¬P → R & S P

3. Demostrar: F
(1) G → H P
(2) ¬G → ¬¬F P
(3) ¬H P

4. Demostrar: E
(1) F P
(2) ¬E → ¬F P

Página 9 de 16
CURSO DE LÓGICA PROPOSICIONAL CUADERNILLO DE EJERCICIOS V. 1.1
KUEPA COLBACH Por Eduardo Pérez

5. Demostrar: ¬S
(1) S → ¬R P
(2) R P

C.
Instrucciones: Usando la regla P es la negación de ¬P, evitar la regla de doble negación en las
siguientes proposiciones.

1. Demostrar: ¬P
(1) P → ¬Q P
(2) Q P

2. Demostrar: ¬A
(1) A → ¬C P
(2) B → C P
(3) B P

3. Demostrar: P
(1) ¬P → ¬Q P
(2) Q P

4. Demostrar: ¬S
(1) P → Q P
(2) Q → R P
(3) S → ¬R P
(4) P P

5. Demostrar: ¬A
(1) A → B P
(2) B → C P
(3) C → D P
(4) ¬D P

6. Demostrar: A
(1) ¬A → ¬B P
(2) ¬B → ¬C P
(3) C P

D.
Instrucciones: Evitar la regla de doble negación en las siguientes deducciones

1. Demostrar: x=0
(1) x≠0 → x+y≠y P
(2) x+y=y P

2. Demostrar: x≠0
(1) x=0 → x≠y P
(2) x=z → x=y P
(3) x=z P

Página 10 de 16
CURSO DE LÓGICA PROPOSICIONAL CUADERNILLO DE EJERCICIOS V. 1.1
KUEPA COLBACH Por Eduardo Pérez

3. Demostrar: x=y
(1) x≠y → x≠z P
(2) x≠z → x≠0 P
(3) x=0

4. Demostrar: x≠0
(1) x=y → x=z P
(2) x=z →x=1 P
(3) x=0 → x≠1 P
(4) x=y

5. Demostrar: x≠y
(1) x=y → y=z P
(2) y=z → y=w P
(3) y=w → y=1 P
(4) y≠1 P

EJERCICIO 6

A.
Instrucciones: Aplica la regla se adjunción o simplificación para las siguientes deducciones.

1. (1) (Q & R) & S P

(2)

2. (1) ¬(P V Q) & R P

(2)

3. (1) R V S P
(2) Q P
(3)

4. (1) S P
(2) T
(3)

5. (1) P → Q P
(2) M P

B.
Instrucciones: Probar que las conclusiones son consecuencia lógica de las premisas dadas.

1. Demostrar: ¬S
(1) ¬R & T P
(2) S → R P

2. Demostrar: A & B
(1) C → A P
(2) C P
(3) C → B P
Página 11 de 16
CURSO DE LÓGICA PROPOSICIONAL CUADERNILLO DE EJERCICIOS V. 1.1
KUEPA COLBACH Por Eduardo Pérez

3. Demostrar: ¬¬Q
(1) P & Q P

4. Demostrar: ¬S & Q
(1) ¬S → Q P
(2) ¬(T & R) P
(3) S → T & R P

5. Demostrar: A & C
(1) A & ¬B P
(2) ¬C → B P

EJERCICIO 7

A.
Instrucciones: Deducir una conclusión de cada uno de los siguientes conjuntos de premisas
usando el modus tollendo ponens.

1. (1) ¬Q V R P
(2) ¬R P

2. (1) T V (P → Q) P
(2) ¬T P

3. (1) ¬T V ¬R P
(2) ¬¬R P

4. (1) P V ¬Q P
(2) Q P

5. (1) ¬(P & Q) P

(2) T V (P & Q) P

6. (1) S & R P
(2) ¬(S & R) V T P

7. (1) ¬(P → Q) V R P
(2) P → Q P

8. (1) ¬S P
(2) (P & Q) V S P

9. (1) S V ¬T P
(2) T P

10. (1) T V U P
(2) ¬T P

Página 12 de 16
CURSO DE LÓGICA PROPOSICIONAL CUADERNILLO DE EJERCICIOS V. 1.1
KUEPA COLBACH Por Eduardo Pérez

B.
Instrucciones: Dar una demostración completa y probar que las conclusiones son consecuencia de
las premisas dadas.

1. Demostrar: P
(1) P V Q P
(2) ¬T P
(3) Q → T P

2. Demostrar: B
(1) ¬A V B P
(2) ¬A → E P
(3) ¬E P

3. Demostrar: M
(1) S & P P
(2) M V ¬N P
(3) S → N P

4. Demostrar: A & B
(1) B P
(2) B → ¬D P
(3) A V D P

5. Demostrar: R
(1) ¬Q V S P
(2) ¬S P
(3) ¬(R & S) → Q P

6. Demostrar: x=4
(1) 3x+2y=18 & x+4y=16 P
(2) x=2 → 3x+2y≠18 P
(3) x=2 V y=3 P
(4) x≠4 → y≠3 P

7. Demostrar: ¬(y>7 V x=y) P

(1) x<6 P
(2) y>7 V x=y → ¬(y=4 & x<y) P
(3) y≠4 → ¬x<6 P
(4) x<6 → x<y P

8. Demostrar: x<5
(1) x<y V x=y P
(2) x=y → y≠5 P
(3) x<y & y=5 → x<5 P
(4) y=5 P

9. Demostrar: x=4
(1) 3x+2y=18 & x+4y=16
(2) x=2 → 3x+2y≠18
(3) x=2 V y=3
(4) x≠4 → y≠3

Página 13 de 16
CURSO DE LÓGICA PROPOSICIONAL CUADERNILLO DE EJERCICIOS V. 1.1
KUEPA COLBACH Por Eduardo Pérez

EJERCICIO 8

A.
Instrucciones: Demostrar la conclusión que se ofrece según la ley de adición y cualquier otro
método de inferencia pertinente.

1. Demostrar: T V S
(1) Q V T
(2) Q → R
(3) ¬R

2. Demostrar: R V ¬T
(1) P
(2) ¬R → ¬P

3. Demostrar: R V ¬S
(1) S & Q
(2) T → ¬Q
(3) ¬T → R

4. Demostrar: Q
(1) ¬S
(2) T → S
(3) ¬T V R → Q

5. Demostrar: U
(1) P & ¬T
(2) S → T
(3) S V Q
(4) Q V P → U

6. Demostrar: x≠3 V x>2

(1) x+2≠5 V 2x=6
(2) x+2≠5 → x≠3
(3) 2x-2=8 → 2x≠6
(4) x+3=8 & 2x-2=8

7. Demostrar: x=3
(1) x-2=1 & 2-x≠1
(2) x=1 → 2-x=1
(3) x=1 V x+2=5
(4) x+2=5 V x-2=1 → x=3

Página 14 de 16
CURSO DE LÓGICA PROPOSICIONAL CUADERNILLO DE EJERCICIOS V. 1.1
KUEPA COLBACH Por Eduardo Pérez

EJERCICIO 9

A.
Instrucciones: Utilizando la ley de silogismo hipotético (HS) dar una demostración formal para
obetener una conclusión de los siguientes conjuntos de premisas.

1. (1) Q → ¬P
(2) ¬P → R

2. (1) P → R & ¬S
(2) R & ¬S → T

3. (1) S V T → R V Q
(2) R V Q → ¬P

4. (1) S → ¬T
(2) ¬T → ¬R

B.
Instrucciones: ofrecer una deducción formal de las siguientes conclusiones a partir de las
premisas dadas.

1. Demostrar: ¬T
(1) (Q → R) & P
(2) R → T
(3) (Q → R) → ¬T

2. Demostrar: P
(1) ¬R
(2) ¬P → Q
(3) Q → R

3. Demostrar: Q
(1) ¬R → S
(2) S → P & Q
(3) R → T
(4) ¬T

4. Demostrar: (2+2)+2=6 → 3+3=6

(1) (2+2)+2=6 → 3x2=6
(2) 3x2=6 → 3+3=6

5. Demostrar: 5x-4=3x+4 → x=4

(1) 5x-4=3x+4 → 5x=3x+8
(2) 2x=8 → x=4
(3) 5x=3x+8 → 2x=8

Página 15 de 16
CURSO DE LÓGICA PROPOSICIONAL CUADERNILLO DE EJERCICIOS V. 1.1
KUEPA COLBACH Por Eduardo Pérez
6. Demostrar: z>6 V z<y
(1) x>y → x>z
(2) ¬(z>6) → ¬(x>y → z<7)
(3) x>z → z<7

7. Demostrar: x>y
(1) x≠y → x>y V x<y
(2) x>y V x<y → x≠4
(3) x<y → ¬(x≠y → x≠4)
(4) x≠y

8. Demostrar: y+z=8
(1) z=5 → ((y=3 → y+z=8) & z>y)
(2)
(3)
(4)

Página 16 de 16