Universidad de Chile

Facultad de Filosofa y Humanidades

Departamento de Filosofa
L
ogica I - Primer Semestre 2015

Gua de Ejercicios N 2

L
ogica Proposicional Cl
asica.
Tablas de verdad, conectivos; tautologas, contradicciones y contingencias;
f
ormulas equivalentes.

1) Considere el conectivo | , al que asignaremos la tabla de verdad siguiente :

V
V
F
F

|
|
|
|

V=F
F=V
V=V
F=V

(a) Encuentre una f

ormula de nuestro lenguaje proposicional cuya tabla de verdad
sea igual a la de este conectivo.
(b) M
as difcil (bastante m
as): tome cada uno de los conectivos logicos de nuestro
lenguaje proposicional (incluyendo la negacion), e intente construir una formula
que tenga la misma tabla de verdad, pero en la que solamente se utilice el
conectivo | . Independientemente de si lo logra o no: el hecho de que esto sea
posible que implicaci
on tiene en relacion con los conectivos de nuestro lenguaje
proposicional?

2) Dadas afirmaciones , ,  , considere una nueva afirmacion que dice dos de

las afirmaciones , ,  son falsas, y la otra no. Escriba la tabla de verdad del
correspondiente conectivo l
ogico (ternario); y a continuacion escriba una formula
(del lenguaje proposicional que hemos adoptado en este curso) que diga lo mismo
que este conectivo (es decir, que tenga la misma tabla de verdad).

3) Diga p ( q p) utilizando u
nicamente los conectivos , (negacion
y disyunci
on), y ning
un otro.

4) Diga p q utilizando u
nicamente los conectivos , .

5) Considere la afirmaci
on: No es verdad que: o no habra m
usica, o no es verdad
que no es verdad que o no habra premios o no habra sorpresas. Diga lo mismo de
manera normal, comprensible.

6) Clasifique las siguientes f

ormulas como tautologas, contradicciones o contingencias. Procure observar c
omo esta clasificacion coincide con la interpretacion intuitiva
de cada f
ormula:
(a)
(b)
(c)
(d)
(e)
(f)
(g)
(h)

(i) (p q) (q p)

pp
pq
pp
(p p)
pp
(p q) (q p)
p (q (r s))

 

(p p) p p

(j) (p q) (q r)
(k) (p q p)
(l) (p q) p

 

(m) (p q) r (p (q r)
(n) (p q) q
(o) p p

7) Demuestre o refute las afirmaciones siguientes, seg

un corresponda:
(a) La negaci
on de una contradiccion es una tautologa.
(b) La negaci
on de una contingencia es una tautologa.
(c) Si es tautologa y es tautologa, entonces es tautologa.
(d) Si es tautologa y es contradiccion, entonces es contradiccion.
(e) Si es tautologa, entonces es tautologa y/o es tautologa.

8) Decida (justificando) cu
ales de los siguientes pares de formulas son equivalentes:
(a) (p q) r

p (q r)

(b) p (q r)

p (q r)

(c) (p q)

pq

(d) (p q)

pq

(e)

[p qr] [s r]

(f) p q

pq

(g) p q

(p q)

(h) p q

pq

(i) (p q)
h
(j) q p

pq

i
[r q] q

[p qr] [s r]

(q q)

i
[p q] q q r

9) Demuestre que las tautologas son equivalentes entre s, y que no lo son con otras
f
ormulas; lo mismo para contradicciones. Dicho de modo mas preciso: demuestre
que cualquier tautologa es equivalente a cualquier tautologa, y no es equivalente a
f
ormula alguna que no sea una tautologa; y demuestre que cualquier contradiccion
es equivalente a cualquier contradiccion, y no es equivalente a formula alguna que
no sea una contradicci
on.