UNIVERSIDAD CENTRAL DE VENEZUELA

FACULTAD DE CIENCIAS
ESCUELA DE COMPUTACION
MATEMATICAS DISCRETAS I (6106)

Prueba por Casos

Si una de las premisas es una disyuncion se puede proceder a demostrar por casos. Conside-
rando cada uno de los terminos de la disyuncion se debe llegar a la misma conclusion. Este metodo
se basa en la Ley de demostracion por casos:

[(p q) r] (p q) (q r)
Este metodo tambien es valido si una de las premisas es una disyuncion exclusiva. Esto se
fundamenta en la implicacion:

pYq pq
Ejemplo:

p1 (a b) d
p2 d (p t)
p3 q (p t)
q (a b) q

Caso 1 Caso 2
1) (a b) d p1 1) (a b) d p1
2) d (p t) p2 2) d (p t) p2
3) q Caso 1 en p3 3) (p t) Caso 2 en p3
4) q (a b) Adicion en (3) 4)d (p t) Equiv. Implic. 2 veces
5) (a b) q Conmutativa en (4) 5) p (d t) Asoc/ Conmut en (4)
6) (a b) q Equiv. Implic. en (5) 6) p (d t) Equiv. Implic. en (5)
7) p p (d t) Simplif. (3)/Conj. (6)
8) d t MPP en (7)
9) (d t) t Simplif. (3)/Conj. (8)
10) d Silg. Disy. en (9)
11) [(a b) d] d Conj. (1) y (10)
13) (a b) MTT en (11)
14) (a b) q Equi. Implic. en (13)

1
Ejercicios:

Demuestre la validez de los siguientes argumentos logicos haciendo uso de la prueba

por casos.

(a) (Ley del Dilema Constructivo)

p1 pq
p2 rs
p3 pr
q qs

(b)
p1 pq r
p2 (p r) s
p3 q t
q q st

(c)
p1 ps
p2 s t
p3 q d (h t)
p4 (p q) (p d)
p5 t
q h

(d)
p1 cYa
p2 cl
p3 az
p4 c z
p5 a l
q l z