Descripción de la actividad/ indicaciones de la actividad:

1. Descarga el documento “Act 3. Operaciones proposicionales y leguaje formal”

proporcionado por tu docente en línea 


2. Resuelve los ejercicios que se plantean en el documento empleando las tablas de

verdad para determinar el valor de verdad de las proposiciones que tú presentas,
así como de las proposiciones de los ejercicios 


3. Anexa en el documento de la “Act 3. Operaciones proposicionales y lenguaje formal”

tus proposiciones y su simbolización 


4. Puedes apoyarte en el contenido de la unidad y los videos que tu docente te brindará

durante la realización de la actividad 


5. Guarda tu documento con la siguiente nomenclatura MIPM_U1_A2_XXYZ, sustituye

las XX por las dos primeras letras de tu primer nombre, la Y por la inicial de tu
apellido paterno y la Z por la de tu apellido materno. 


6. Revisa la calendarización propuesta por tu docente en línea y los lineamientos de

entrega del documento, ya sea e un documento de texto o PDF sí utilizas algún
editor de texto científico. 


7. Envía tu documento a tu docente en línea y espera su retroalimentación. 


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.
(𝑝^𝑞) → (𝑝 𝑣 ¬𝑟)

 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.

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

Pág. 2
 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.
(𝑝 ^𝑞) ^ (¬𝑝 𝑉 𝑞)

Pág. 3
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)]}

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

 P Q ↔ P ⋁ Q


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


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

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

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

Pág. 9