Actividad 2 - Lógica matemática y conjuntos

Presentado por:

Bayron Arley Pino Silva

Docente:

Fabio sierra

Corporación universitaria iberoamericana

17/09/2023
1. DESARROLLO DE EJERCICIOS
1.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:

P= la comida es buena
Q= el servicio es bueno
R= es de tres estrellas

a) La comida es buena, servicio es bueno, o ambas cosas.

R/: Pv(QΛP)

b) La comida es buena, servicio es bueno o pero no las dos cosas.

R/: PvQ(˜PQ)

c) La comida es buena, pero el servicio no.

R/: P(˜Q)

d) No sucede mucho que tanto la comida sea buena como el restaurante sea de 3
estrellas.
R/: (˜P)(˜R)

e) Tanto la comida como el servicion son buenos, entonces el restaurante es tres

estrellas.
R/: PΛ(Q→R)

f) No es cierto que ser un restaurante tres estrellas siempre signifique buena comida
y buen servicio.
R/= ˜R(PΛQ)

1.2. De notemos con P “el clima es agradable es agradable” y con la Q “vamos de dia de
campo”. Traducir las siguientes proposiciones al lenguaje coloquial y, si es posible
simplificar:

a) PΛQ R/= el avión es grande y rapido

b) P↔Q R/= ganara la carrera si y solo si se entrena con disciplina
c) Q→Q R/= Santiago entrena todos los días, entonces tendrá un físico notable

1.3. Construir la tablas de verdad de los siguientes esquemas proposicionales:

a) (PVQ)VP

P Q PVQ PVQ v P
 v v v v
v f v v
f v v v
f f f f

b) (PVQ)→P

P Q
V V
V V
F V
F F
PVQ PVQ→P
V V
V V
V F
F V

c) P↔(PVQ)

P Q
V v
V F
F V
f F
PVQ P↔PVQ
V V
V F
V F
F V

d) (Q→P)

Q P Q→P
V V V
V F F
F V V
F F V

e) (PΛQ)V(˜R)

P Q R PΛQ ˜R (PΛQ)V(˜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
1.4. Los valores de verdad de las proposiciones P, Q, R, S son respectivamente V, F, F, y V.
obtener los valores de verdad de:

a) [(PVQ)VR]ΛS
[(VvF)vF]ΛV
[VvF] ΛV
VΛv
V

P Q
V V
V F
F V
F F
PvQ PΛQ
V V
V F
V F
F F

b) R→(SΛP)
F→(VΛV)
F→V
V

P Q
V V
V F
F V
F F
PΛQ P→Q
V V
F F
F V
f v

c) (PvR) ↔(RΛ˜S)
(VvF) ↔(FΛ˜F)
F↔F
V

P Q PvQ PΛQ p↔q

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

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

a) (PvQ) → Q si P → Q es flaso
 (V v F) → F
v→F
F

P Q PvQ P→Q
V V V V
V F V F
F V V V
F F F V

1.6. Escribir por exension los conjuntos:

a) B= {X es digito del numero 2324}

B= {2,3,2,4}
b) C= {X:X es vocal}
C={a,e,i,o,u}

1.7. Escribir por comprensión los siguientes conjuntos:

a) A= {1,2,4,8,16}
A= {XlX ϵ N, 1 = X
b) B= {1,2,3,5,7,9}
B= {XlX ϵ N, X indivisible de 2}