Scribd
Cargar
123 vistas2 páginas

Tarea PDF

Este documento explica cómo demostrar la validez de un argumento lógico mediante la prueba por casos cuando una de las premisas es una disyunción. Proporciona la ley de demostración por casos y un ejemplo resuelto. Luego presenta cuatro ejercicios para que el estudiante practique resolviéndolos usando esta técnica.

Cargado por

Guillermo Bisbal
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como PDF, TXT o lee en línea desde Scribd
123 vistas2 páginas

Tarea PDF

Este documento explica cómo demostrar la validez de un argumento lógico mediante la prueba por casos cuando una de las premisas es una disyunción. Proporciona la ley de demostración por casos y un ejemplo resuelto. Luego presenta cuatro ejercicios para que el estudiante practique resolviéndolos usando esta técnica.

Cargado por

Guillermo Bisbal
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como PDF, TXT o lee en línea desde Scribd

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

También podría gustarte