Sofia Elizondo Piña

Fecha de elaboración:
01/02/2022

Introducción al Pensamiento Matemático

Unidad 1. Evidencia de aprendizaje

Maestra: Yadira Márquez Barrios

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.
A) Claudia le dice a Víctor: si nos casamos y no terminamos, entonces, nos casamos o no hay fiesta.

p: nos casamos

q: terminamos

r: hay fiesta

R: (p ^ ¬q) → (p v ¬r)

Es una contingencia.

p q r ¬q ¬r p ^ ¬q p v ¬r (p ^ ¬q)→( p v ¬r)

V V V F F F F V

V F V V F V F F

F V V F F F F V

F F V V F F F V

V V F F V F V V

V F F V V V V V

F V F F V F F V

F F F V V F F V
B) Raquel viajo a buenos aires, pero regreso pronto o no viajo a tal lugar.

p: Raquel viajo a Buenos Aires

q: Raquel regresó pronto

R: p ^ (q v ¬p)

Es una contingencia.

p q ¬p q v ¬p p ^ (q v ¬p)

V V F V V

V F F F F

F V V V F

F F V V F
II. Determina el valor de verdad de las siguientes proposiciones por medio de una tabla de verdad.

a) [p^(q v r)] → [(p^q) v (p^r)]

p q r qvr p^q p^r p^ (q v r) (p^q) v (p^r) [p^(q v r)] → [(p^q) v (p^r)]

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

b) p v q ↔ ¬p → q
p q pvq ¬p → q p v q ↔ ¬p → q

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

c) (¬p ∧ q) v q

p ¬p q ¬p ^ q (¬p ^ q) v (¬p ^ q) v q
q (exclusiva)
(inclusiva)
V F V F V V
V F F F F F
F V V V V F
F V F F F F
III. Calcule el valor de las preposiciones asumiendo que p: V, q: F, r: V y s: F, donde V es verdadero y F falso. Mostrar
en cada inciso el proceso seguido.
a) (p ^ ¬q) → (r v s)

p q r s ¬q p ^ ¬q rvs (p ^ ¬q) → (r v s)
V F V F V V V V

b) r v ¬(q ^ ¬s)

r q s ¬s q^ ¬(q ^ ¬s) r v ¬(q ^¬s)

¬s
V F F V F V V

c) ¬p → s

p s ¬p ¬p →
s
V F F V

IV. Si la preposición p ^¬q → ¬r v s es falsa. Encuentre el valor de las preposiciones mostrando el proceso
seguido:

a) ¬p v q

p q ¬p ¬p v q
F V V V
F F V V
V V F V
V F F F
b) r ^¬
r s ¬s r ^¬s
V F V V
V V F F
F F V F
F V F F

c) (p ^ r) → (q v s)

p q r s p^r qvs (p ^ r) → (q v s)

V F V F V F F
V. Una de las aplicaciones de la teoría de la lógica es hacia la teoría de circuitos lógicos simples, por ello empleando
la siguiente preposición:

(q v r) ^ [(p v q)] v (¬r v ¬s)] ^ (q v s)

Dibujar el circuito lógico que corresponde a la preposición antes señalada.

(q v r) ^ [(p v q)] v [(¬r v ¬s)] ^ (q v s)