Universidad Abierta y a Distancia de México

Licenciatura en Matemáticas

Primer semestre

Programa de la asignatura:
Introducción al Pensamiento Matemático

Unidad 1. Lógica Proposicional

Actividad de aprendizaje 3 (Tarea)

Operaciones proposicionales y lenguaje formal

Docente: Ingeniero Ángel Raya Vargas

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

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

nos casamos o no hay fiesta.”

Sean p , q , r proposiciones lógicas tales que:

p= Nos casamos
q= Terminamos
r= Hay fiesta

( p ˄¬ q)→( p ˅¬ r )

p q r ¬q ¬r ( p ˄¬ q) ( p ˅¬ r) ( p ˄¬ q)→( p ˅¬ r )

V V V F F F V V

V V F F V F V V

V F V V F V V V

V F F V V V V V

F V V F F F F V

F V F F V F V V

F F V V F F F V

F F F V V F V V

Es una tautología.

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

Sean p , q dos proposiciones lógicas tales que:

p: Juan se casa con Mariana

q: Mariana se pone feliz

 ( p → q)˄(q → p)

p q ( p → q) (q → p) ( p → q)˄(q → p)
V V V V V

V F F V F

F V V F F

F F V V V

Es una Contingencia.

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

Sean p y q las siguientes proposiciones:

p= Luis llevar a su hijo al parque

q= Luis llevara a su hijo a comer una hamburguesa

( p ∧q) ∧(¬ p ∨q)

p q ¬p ( p ∧q) (¬ p ∨ q) ( p ∧q) ∧(¬ p ∨q)

V V F V V F

V F F F F F

F V V F V F

F F V F V F

Es una contradicción.

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 Q R S (Q(RS)) (P(QS)) P(Q(RS)) RP(QS)) P(Q(RS))R(P(QS))

V V V V V V V V V

V V V F F F F F V

V V F V V V V V V

V V F F V F V V V

V F V V V V V V V

V F V F V V V V V

V F F V V V V V V

V F F F V V V V V

F V V V V V V V V

F V V F F V V V V

F V F V V V V V V

F V F F V V V V V

F F V V V V V V V

F F V F V V V V V

F F F V V V V V V

F F F F V V V V V

 P Q ↔ P ⋁ Q

P Q P Q P ⋁ Q P Q ↔ P ⋁ Q

V V V V V
V F F F V
F V V V V
 F F V V V

 P ⋁ Q ↔ P Q

P Q P⋁Q P Q P ⋁ Q ↔ P Q

V V V V V
V F V V V
F V V V V
F F F F V

 (P Q) R,  (P Q) R P ∧ Q

P Q R (PQ) (PQ)R (PQ) (PQ)R P∧Q (PQ)RP∧Q (PQ)R,(PQ)RP∧ Q

V V V V V F F F V F

V V F V F F F F V F

V F V F V V F F V F

V F F F V V V F F F

F V V V V F F F V F

F V F V F F V F V F

F F V V V F F V V V

F F F V F F V V V F

 PQ, P R
P Q R P PQ P R PQ, P R

V V V F V V V

V V F F V V V
 V F V F F V F

V F F F F V F

F V V V F V F

F V F V F F F

F F V V F V F

F F F V F F F

 PQ, PQ P

P Q PQ PQ PQ P PQ, PQ P

V V V F V F
V F F F V F
F V V V V V
F F V V V V

Referencias:

Kisbye, P. (2008). Elementos de lógica y teoría de conjuntos. Colombia. Recuperado de:

http://ocw.unc.edu.ar/facultad-de-matematica-astronomia-y-fisica/cursillo-deingreso/
actividades-y-materiales/elementos-de-logica-y-teoria-de-conjuntos

Suppes, P. (1988). Primer curso de Lógica matemática. Colombia: editorial Reverté.

Villalobos, N. (2006). Lógica proposicional. Venezuela.
http://webatario.blogspot.com/2008/02/proposicin-lgica.html