Lógica matemáticas y conjuntos

Matemáticas básicas

Glenda Yinet Cuellar Perilla

Liliana Fernanda Hernandez Martínez

Laura Nathalia Marin Saavedra

Actividad 2

Luis González

Facultad de ciencias humanas y sociales

Universidad Iberoamericana

01 de abril de 2023
 1. Para describir los diversos restaurantes de la ciudad, denotemos con p “la comida es
buena”; con q “el servicio es bueno” y con r “es de tres estrellas”. Escribir simbólicamente
las siguientes proposiciones:

a) La comida es buena o el servicio es bueno, o ambas cosas : P V q

b) La comida es buena o el servicio es bueno, pero no ambas cosas. : p V q O P ^ q
c) La comida es buena y el servicio no. P ^ ~q
d) No sucede que tanto la comida sea buena como que el restaurante sea de tres estrellas :
~(p^r)
e) Si tanto la comida como el servicio son buenos, entonces el restaurante es de tres
estrellas : (p^q)=> r
f) No es cierto que ser de tres estrellas siempre signifique buena comida y buen servicio :
~[r =>(p^q)]
2. Denotemos con p “el clima es agradable” y con q “vamos de día de campo”. Traducir las
siguientes proposiciones al lenguaje coloquial y, si es posible, simplificar:
a) p ∧ q : EL CLIMA ES AGRDABLE Y VAMOS DE DIA DE CAMPO
b) p ⇔ q : EL CLIMA ES AGRADABLE SI Y SOLO SI VAMOS DE DIA DE CAMPO
c) q ⇒ p : SI VAMOS DE DIA DE CAMPO ENTONCES EL CLIMA ES AGRADABLE
3. Construir las tablas de verdad de los siguientes esquemas proposicionales: a) (p ∨ q) ∨ p
b) (p ∨ q) ⇒ p c) p ⇔ (p ∨ q) d) (q ⇒ p) ⇒ (p ⇒ q) e) (p ∧ q) ∨ (∼ r) f) ∼ (r ⇒ r)

a.

p q pvq (p v q) v p
v v V V
v f V V
f v V V
f f F F

b.
p q pvq (p v q) ⇒ p
v v v v
v f v v
f v v f
f f f v

c.
p q pvq p ⇔ (p v q)
v v v V
 v f v V
f v v V
f f f V

d.
p q q⇒p p⇒q (q ⇒ p) ⇒ (p ⇒
q)
v v v v V
v f v f F
f v f v V
f f v v V

e.
p q r p^q ~r (p ∧ q) ∨ (∼ r)
v v v v f v
v v f v v v
v f v f f f
v f f f v v
f v v f f f
f v f f v v
f f v f f f
f f f f v v

f.
r r⇒r ∼ (r ⇒ r)
v v f
f v v

6. Determinar, si es posible, el valor de verdad de las siguientes proposiciones:

a. (p ∨ q) ⇒ q si p ⇒ q es Falso
La implicación "p ⇒ q" es falsa, lo que significa que "p" es verdadero y "q" es falso.
Entonces, la proposición "(p ∨ q) ⇒ q" se convierte en "(Verdadero ∨ Falso) ⇒ Falso", lo
que es equivalente a "Verdadero ⇒ Falso", que es falso.
Por lo tanto, la proposición original es falsa.
 b) p ∨ (p ⇔ q) si p ⇒ q es Verdad
La implicación "p ⇒ q" es verdadera, lo que significa que, si "p" es verdadero, entonces "q"
también lo es. Entonces, la proposición "p ⇔ q" es verdadera si "p" y "q" tienen el mismo
valor de verdad, y falsa en caso contrario. En este caso, "p" y "q" tienen el mismo valor de
verdad, y la proposición "p ⇔ q" es verdadera.
Entonces, la proposición original se convierte en "p ∨ Verdadero", que es verdadera sin
importar el valor de "p".
Por lo tanto, la proposición original es verdadera.

c) [ (p ∨ q) ∧ ∼ q] ⇒ q si p es Verdad y ∼q es Verdad
Si "p" es verdadero y "~q" es verdadero, entonces "q" es falso.
Entonces, la proposición "(p ∨ q) ∧ ∼q" se convierte en "(Verdadero ∨ Falso) ∧ Falso", que
es equivalente a "Falso ∧ Falso", que es falso.
Por otra parte, la proposición "[(p ∨ q) ∧ ∼q] ⇒ q" se convierte en "Falso ⇒ Falso", que es
verdadero. Esto es así porque la implicación "p ⇒ q" es siempre verdadera cuando la
premisa es falsa.
Por lo tanto, la proposición original es verdadera.

18 ) En los siguientes diagramas de Venn, sombree :

W- V

Vc ∪ W
V ∩ Wc
Vc – Wc

19) Dados tres conjuntos A, B y C cualesquiera

y un conjunto D disjunto con los anteriores,
dibujar su diagrama de Venn y rayar las
siguientes zonas : a) A ∪ B b) A ∩ B c) (A - C) ∪
B d) (A - C) ∩ B e) (A ∩ B ∩ C) ∪ D