Facultad de Ciencias Fsicas y Matem

aticas

Universidad de Chile

Matem
aticas I
Profesor: Felipe Cel`ery.
Auxiliar: Ilana Mergudich.
Fecha: Lunes 4 de Enero.

Auxiliar 1: L
ogica
P1. Se define el conectivo l
ogico * a traves de la siguiente tabla de verdad:
p
V
V
F
F

pq
F
F
F
V

q
V
F
V
F

(a) Agregue en la tabla de verdad las siguientes proposiciones:

i. p q
ii. p q
(b) Escriba las siguientes proposiciones, utilizando solo este nuevo conectivo:
i. p q
Indicaci
on: Busque la forma de esribir r.
ii. [Propuesto] p q
P2. Demuestre que la siguiente proposicion es una tautologa:
[p (p q)] p
P3. Sean p, q, r proposiciones.
(a) Construir la proposici
on compuesta s (en funcion de p, q, r) cuya tabla de verdad es:
p
V
V
V
V
F
F
F
F

q
V
V
F
F
V
V
F
F

r
V
F
V
F
V
F
V
F

s
V
V
F
V
F
F
F
V

(b) Compruebe su respuesta usando tablas de verdad.

(c) [Propuesto] Demuestre que s (r p) es una tautologa.
i. Se cumple tambien s r p ?
ii. Se cumple tambien (s r) p ?