Está en la página 1de 10

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

Presenta:
Sebastian Camargo Martinez
Introducción

Hemos visto que es frecuente encontrar proposiciones que tienen más de un término
de enlace. Los términos de enlace pueden unir o pueden ser usados con proposiciones
moleculares de la misma forma que con las proposiciones atómicas. En todos estos casos
uno de los términos de enlace es el mayor. Por esto se le denominará dominante porque
es el que actúa sobre toda la proposición [1].

Un método en general más conveniente que el diagrama para analizar los valores
de certeza de proposiciones, es el de poner todas las posibilidades de certeza o falsedad
en forma de una tabla. En efecto, todas las reglas de certeza funcional que se utilizan para
proposiciones moleculares pueden resumirse en forma de tabla. Estas tablas básicas de
certeza indican rápidamente si una proposición molecular es cierta o falsa si se conoce la
certeza o falsedad de las proposiciones que la forman. Se dan a continuación las tablas
básicas de certeza para los cinco términos de enlace de proposiciones. Si se conocen los
valores de certeza de una proposición P y de una proposición Q, se busca la línea que
presenta esta combinación particular de valores de certeza y en la misma línea en la
columna de la proposición molecular se encontrará su valor de certeza [1].

Indicaciones:

I Revisa el contenido de los videos y extrae, a partir del contenido de los


videos, proposiciones de la vida cotidiana:

• dos proposiciones simples que sean afirmativas


• dos proposiciones simples que sean negativas
• dos proposiciones compuestas para cada uno de los conectivos lógicos

Afirmativas:

1. La memela cuesta doce pesos


2. La memela lleva champiñones

Negativas

1. La memela no lleva nopales


2. La memela no lleva carne

Compuestas

1. La memela cuesta doce pesos y no lleva nopales


2. La memela cuesta doce pesos y no lleva carne
3. La memela cuesta doce pesos o no lleva champiñones
4. La memela no lleva nopales o no lleva carne
5. La memela no cuesta doce pesos si lleva champiñones
6. La memela lleva champiñones si no lleva nopales
7. La memela no cuesta doce pesos si y solo si lleva nopales
8. La memela lleva champiñones si y solo si lleva carne

II Representa las proposiciones que extrajiste por medio del lenguaje de la


lógica simbólica

Afirmativas

Sea:

p: La memela cuesta doce pesos

q: La memela lleva champiñones

Negativas

Sea:

r: La memela no lleva nopales

s: La memela no lleva carne

Compuestas:

1. p ^ r
2. p ^ s
3. p v ~q
4. r v s
5. ~p → q
6. q → r
7. ~q ↔ ~r
8. q ↔ ~s
III Descarga el documento “Act 3. Operaciones proposicionales”

IV 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

1.- 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 casara con ella.
• Luis le dice a su hijo que lo llevara al parque y a comer una Hamburguesa, pero que
no lo llevara al parque o a comer una hamburguesa.

1.- Claudia le dice a Víctor: si nos casamos y no terminamos, entonces, nos casamos o
no hay fiesta

Sea:

p: Claudia se casa con Víctor

q: Claudia termina con Víctor

r: Hay fiesta

• (p ^ ~q) → (p v ~r)

p q r p^q pvr

V V V F V

F F F F F

V F F V V
F V F F F

F F V F V

F V V F V

V F V V V

V V F F V

Podemos concluir que (p ^ ~q) → (p v ~r) es V → V y por la tabla de verdad estamos


tratando con una contingencia.

2.- Mariana le dice a Juan que si se casa con ella, entonces se pondrá feliz y Mariana se
pone feliz, entonces Juan se casara con ella.

Sea:

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

F F F F F
V F F F F

F V F F F

Podemos concluir que (p → q) ^ (q → p) es V → V y por la tabla de verdad estamos tratando


con una contingencia.

3.- Luis le dice a su hijo que lo llevara al parque y a comer una Hamburguesa, pero que no
lo llevara al parque o a comer una hamburguesa.

Sea:

p: Luis llevara a su hijo al parque

q: Luis llevara a su hijo a comer una hamburguesa

• (p ^ q) ^ (~p v q)

p q (p ^ q) (~p v q) (p ^ q) ^ (~p v q)

V V V V V

F F F V F

V F F F F

F V F V F

Podemos concluir que por la tabla de verdad estamos tratando con una contradicción.
2.- 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 (R→S)
F F F F V
F F F V V
F F V F F
F F V V V
F V F F V
F V F V V
F V V F F
F V V V V
V F F F V
V F F V V
V F V F F
V F V V V
V V F F V
V V F V V
V V V F F
V V V V V

P → (Q → (R → S)) → R → (P → (Q → S))
Q → (R → S) P → (Q → (R → S)) P → (Q → (R → S)) → R (Q→S) P → (Q → S)
V V F V V V
V V F V V V
V V V V V V
V V V V V V
V V F F V V
V V F V V V
F V V F V V
V V V V V V
V V F V V V
V V F V V V
V V V V V V
V V V V V V
V V F F F V
V V F V V V
F F V F F F
V V V V V V
p → q ↔ ¬p ⋁ q

p q (p→q) (~p) (~p v q) (p → q) ↔ (~p v q)


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

P ⋁ Q ↔ ¬P → Q

p q (pvq) (~p) (~p→q) (pvq)↔(~p→q)


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

(P → Q) → R, ¬ (P → Q) v ¬R → ¬P ∧ ¬Q

P Q R P→Q (P→Q)→R ¬ (P → Q) (P → Q) → R, ¬ (P → Q)
F F F V F F F
F F V V V F F
F V F V F F F
F V V V V F F
V F F F V V V
V F V F V V V
V V F V F F F
V V V V V F F

¬R (P → Q) → R, ¬ (P → Q) v ¬R ¬P ¬Q ¬P ∧ ¬Q (P → Q) → R, ¬ (P → Q) v ¬R → ¬P ∧ ¬Q
V V V V V V
F F V V V V
V V V F F F
F F V F F V
V V F V F F
F V F V F F
V V F F F F
F F F F F V

P ^ Q, ¬P → R

P Q R P^Q ¬P ¬P → R P ^ Q, ¬P → R
F F F F V F F
F F V F V V F
F V F F V F F
F V V F V V F
V F F F F V F
V F V F F V F
V V F V F V V
V V V V F V V

P → Q, P → ¬Q → ¬P

P Q P→Q (P→Q)^P ¬Q P → Q, P → ¬Q ¬P P → Q, P → ¬Q → ¬P
F F V F V V V V
F V V F F V V V
V F F F V V F F
V V V V F F F V

Conclusiones:

Mediante la construcción de oraciones para su posterior transformación en leguaje


proposicional, permite la correcta estructuración de un planteamiento correcto.

Las tablas de verdad son un instrumento poderoso para la correcta identificación de


la proposición y de su interpretación en el contexto en el que se encuentre
Referencias

[1] Suppes, P.; Hill, S. (1988). Primer curso de lógica matemática. Colombia: editorial
Reverte.

También podría gustarte