Carrera: Santiago Cano Melo

Ciclo: Calculo Proposicional

Nombre del módulo: Introducción a la Lógica.
1.3. Conectivos lógicos y tablas de verdad
1.4. La Lógica Formal
Tema:
1.5. Proposiciones categóricas.

Nombre:
Tarea2
Instrucción: Responde de acuerdo a lo que se te plantea. Guarda tu archivo
tarea2TuprimernombreTuprimerapellido.doc y súbelo como tarea.

Ejercicio: Obtén la Tabla de Verdad de cada una de las siguientes proposiciones compuestas, y para
cada una de ellas indica si se trata de tautología, contradicción o contingencia.

Tablas de verdad de proposiciones compuestas.

1.- p ∧ (q ∨ r)

P Q R q∨r p ∧ (q ∨ r)
V V V V V
V V F V V
V F V V V
V F F F F
F V V V F
F V F V F
F F V V F
F F F F F

2.- (p ∨ q) ∧~ p

P Q (p ∨ q) ~p (p ∨ q) ∧~ p
V V V F F
V F V F F
F V V V V
F F F V F
3.- (~p ∧ ~q) ∧ (~r ∨ ~p) ∧ (q ∧ r) ∨ (p ∧ ~q)

P Q R ~P ~Q ~R ~P ∧ ~Q ~R ∨ Q∧R P ∧ ~Q (~P ∧ (~P ∧

~P ~Q) ~Q)
∧ ∧
(~R ∨ (~R ∨
~P) ~P)∧(Q
∧ ∧ R) ∨
 (Q ∧ (p ∧
R) ~Q)
V V V F F F F F V F F F
V V F F F V F V F F F F
V F V F V F F F F V F V
V F F F V V F V F V F V
F V V V F F F V V F F F
F V F V F V F V F F F F
F F V V V F V V F F F F
F F F V V V V V F F F F
4.- p →(q ∧ r)

P Q R (q ∧ r) p → (q ∧ r)
V V V V V
V V F F F
V F V F F
V F F F F
F V V V V
F V F F V
F F V F V
F F F F V

6.- [(p ↔ q) ∧ q] → p

[(p ↔ q) ∧
P Q p↔q (p ↔ q) ∧ q
q] → p
V V V V V
V F F F V
F V F F V
F F V F V
7.- p ∧ ~q ∨ ~q∧r

P Q R ~q ~q∧r p ∧ ~q
V V V F F F
V V F F F F
V F V V V V
V F F V F V
F V V F F F
F V F F F F
F F V V V F
F F F V F F

10.- (p 𝗏 q) 𝗏 ~( ~p 𝗏 ~q)

(~p ∨ ~( ~p ∨ ~q) (p ∨ q) ∧ ~( ~p ∨ ~q)

P Q (p ∨ q) ~q)
V V V F V V
V F V V F F
F V V V F F
F F F V F F
 1. 2. 3. 4. 5.

Contingencia Contingencia Contingencia Contingencia Contradicción

6. 7. 8. 9 10.

Tautología Contingencia Contingencia Contingencia Contingencia

Ejercicio: Clasifica las siguientes proposiciones categóricas según su tipo (A, I, O, E) e infiere
una proposición adicional para cada una de ellas, aplicando correctamente las reglas de
oposición:

Ejercicios de proposiciones Tipo Hecho adicional

categóricas. (A,I,O,E (aplicando las
) reglas de
oposición).
1. Todos los soldados que han desertado son unos Ley subalterna
cobardes. A Todo soldado desertor
es cobarde
2. Algunos corredores de autos son gente de mucha Ley de subcontrarias
astucia. I
3. Ningún automóvil, completamente equipado, es Ley de contrarias
un auto que puede ser usado para competir en esta E Ningún automóvil es
carrera. apto para competir.
4. Algunos periodistas no son personas bien Ley de contradictorias
preparadas. O Algunos periodistas no
se preparan bien
5. Ninguna persona, en la ceremonia del Grito de
Ley de subcontrarias
Independencia, se quedó sin lanzarse a las calles E
para manifestar su nacionalismo.
 REFERENCIAS

1.5 Proposiciones categóricas. (s. f.). Cursos.clavijero.edu.mx. Recuperado 9 de mayo de 2021,

de

https://cursos.clavijero.edu.mx/cursos/007_cp/modulo1/contenidos/documentos/proposici

ones_categoricas.pdf

Conectores lógicos | Tablas de verdad. (2021, 30 abril). [Vídeo]. YouTube.

https://www.youtube.com/watch?

v=8gCoQCkx9A0&list=PLeySRPnY35dHBYcVHPisjBCVHBa954rMZ&index=3&ab_c

hannel=Matem%C3%A1ticasprofeAlex

ICC. (s. f.). Tema 1.4.2. Variaciones - 1.4. La Lógica Formal - Cálculo Proposicional - Instituto

Consorcio Clavijero. Cursos.clavijero.edu. Recuperado 8 de mayo de 2021, de

https://cursos.clavijero.edu.mx/cursos/007_cp/modulo1/contenidos/tema1.4.2.html?opc=3

Lógica proposicional | Introducción. (2021, 30 abril). [Vídeo]. YouTube.

https://www.youtube.com/watch?

v=vKe0UKSpNQQ&list=RDCMUCanMxWvOoiwtjLYm08Bo8QQ&start_radio=1&t=3

&ab_channel=Matem%C3%A1ticasprofeAlex

Tablas de verdad | Ejemplo 1. (2021, 11 mayo). [Vídeo]. YouTube.

https://www.youtube.com/watch?

v=ZK8QUphO4MA&list=RDCMUCanMxWvOoiwtjLYm08Bo8QQ&index=12&ab_cha

nnel=Matem%C3%A1ticasprofeAlex