Producto por entregar:

1. Documento o archivo PDF en el cual debe contener lo siguiente:

a. Portada

b. Introducción


c. Desarrollo. (Ejercicios propuestos por tu docente en línea).

d. Conclusiones


e. Referencias de consulta en formato APA.

Actividad 3. Operaciones proposicionales y lenguaje formal

I. Simboliza las siguientes proposiciones en lenguaje formal y determina, por medio de

una tabla de verdad, si se trata de una contradicción, una tautología o una contingencia.

 Claudia le dice a Víctor: si nos casamos y no terminamos, entonces, nos

casamos o no hay fiesta.
(𝑝^𝑞) → (𝑝 𝑣 ¬𝑟)

v v v v v v v
v v v v v v v

v v v v v v v

v v v v v v v

v v v v v v v

v v v v v v v

v v v v v v v

v v v v v v v

v v v v v v v
 Mariana le dice a Juan que si se casa con ella, entonces se pondrá feliz y
Mariana se pone feliz, entonces Juan se casará con ella.

[(𝑝 → 𝑞) ^ (𝑞 → 𝑝)] 𝑉 (𝑝 ↔ 𝑞)

v v v v v v v
v v v v v v v

v v v v v v v

v v v v v v v

v v v v v v v

 Luis le dice a su hijo que lo llevará al parque y a comer una hamburguesa, pero
que no lo llevará al parque o a comer una hamburguesa.
(𝑝 ^𝑞) ^ (¬𝑝 𝑉 𝑞)

v v v v v v
v v v v v v

v v v v v v

v v v v v v

v v v v v v

Pág. 2
II. Determina el valor de verdad de las siguientes proposiciones por medio de una tabla
de verdad.

{P [Q (R S)]} R [P (Q S)]}

v v v v v v v v v v v v v v v
v v v v v v v v v v v v v v v

v v v v v v v v v v v v v v v

v v v v v v v v v v v v v v v

v v v v v v v v v v v v v v v

v v v v v v v v v v v v v v v

v v v v v v v v v v v v v v v

v v v v v v v v v v v v v v v

v v v v v v v v v v v v v v v

v v v v v v v v v v v v v v v

v v v v v v v v v v v v v v v

v v v v v v v v v v v v v v v

v v v v v v v v v v v v v v v

v v v v v v v v v v v v v v v

v v v v v v v v v v v v v v v

v v v v v v v v v v v v v v v

v v v v v v v v v v v v v v v

Pág. 3
A partir de aquí, terminar.

 P Q ↔ P ⋁ Q


v v v v v v v
v v v v v v v

v v v v v v v

v v v v v v v

v v v v v v v

Pág. 4
 P ⋁ Q ↔ P Q


v v v v v v v
v v v v v v v

v v v v v v v

v v v v v v v

v v v v v v v

Pág. 5
 (P Q) R, (P Q) R P ∧ Q

v v v v v v v
v v v v v v v

v v v v v v v

v v v v v v v

v v v v v v v

v v v v v v v

v v v v v v v

v v v v v v v

v v v v v v v

Pág. 6
 PQ, P R

v v v v v v v
v v v v v v v

v v v v v v v

v v v v v v v

v v v v v v v

v v v v v v v

v v v v v v v

v v v v v v v

v v v v v v v

Pág. 7
 P Q, P Q ↔P

v v v v v v v
v v v v v v v

v v v v v v v

v v v v v v v

v v v v v v v

Pág. 8