ESCUELA CIENCIAS BSICAS TECNOLOGA E INGENIERA

Unidad de Ciencias Bsicas

Lgica Matemtica
Ejemp! pa"a a #ase $
A continuacin planteamos un ejemplo que te apoyar en la solucin de la
fase 2:
Dilogo%
El benefactor hubo de ser: o Pedro, o Andrs
- Si hubiera sido Pedro, tuvo que estar presente, pero estaba de viaje.
En conclusin: tuvo que ser Andrs.
Declaracin de proposiciones simples:
p & E 'ene#act!" #(e )ed"!
* & E 'ene#act!" #(e And"+s
s & )ed"! esta'a p"esente
t = Pedro estaba de viaje
Premisas%
p"emisa ,% p - *
p"emisa $% p ../ s
p"emisa 0% t
premisa 4: t --> ~s
Conclusin% q
UNI1ERSI2A2 NACIONAL ABIERTA 3 A 2ISTANCIA UNA2 4 5556(nad6ed(6c!
)TU% 5556(nad-i"t(a6!"g 7 2!cente dise8ad!"% Ge!"##"e9 Ace-ed! G!n:e: ,7;
ESCUELA CIENCIAS BSICAS TECNOLOGA E INGENIERA
Unidad de Ciencias Bsicas
Lgica Matemtica
Ejemp! pa"a a #ase $
Demostracin a partir de las tablas de verdad:
Primera forma:
Proposi
ciones
simples
Premisa 1 Premisa 2 Premisa 3 Premisa 4 Conclusin
p q s t ~s p v q p --> s t t --> ~s q
1 1 11 < 1 1 1 < 1
1 1 1< < 1 1 < 1 1
1 1 < 1 1 1 < 1 1 1
1 1 < < 1 1 < < 1 1
1 < 11 < 1 1 1 < <
1 < 1< < 1 1 < 1 <
1 < < 1 1 1 < 1 1 <
1 < < < 1 1 < < 1 <
< 1 11 < 1 1 1 < 1
< 1 1< < 1 1 < 1 1
< 1 < 1 1 1 1 1 1 1
< 1 < < 1 1 1 < 1 1
< < 11 < < 1 1 < <
< < 1< < < 1 < 1 <
< < < 1 1 < 1 1 1 <
< < < < 1 < 1 < 1 <
No existe el caso en que las premisas sean verdaderas y la conclusin sea falsa, por lo
tanto el razonamiento es vlido.
UNI1ERSI2A2 NACIONAL ABIERTA 3 A 2ISTANCIA UNA2 4 5556(nad6ed(6c!
)TU% 5556(nad-i"t(a6!"g 7 2!cente dise8ad!"% Ge!"##"e9 Ace-ed! G!n:e: $7;
ESCUELA CIENCIAS BSICAS TECNOLOGA E INGENIERA
Unidad de Ciencias Bsicas
Lgica Matemtica
Ejemp! pa"a a #ase $
Segunda forma:
Se deja como ejercicio al estudiante como aporte individual para el debate, verificar que al
construir la tabla de verdad del ejemplo propuesto:
[(premisa 1) ^ (premisa 2) ^ (premisa 3) ^ (premisa 4)] ---> Conclusin
Se obtiene una tautologa, demostrando que la conjuncin de las premisas implican la
conclusin y por lo tanto el razonamiento es vlido.
Simulador:
!aciendo uso del siguiente simulador, podrs verificar el desarrollo de las tablas de
verdad:
"ttp:##turner.faculty.s$au.edu#mat"ematics#materialslibrary#trut"#
%ideo cmo usar el simulador:
"ttp:##turner.faculty.s$au.edu#mat"ematics#materialslibrary#trut"#
Demostracin a partir de las leyes de inferencia:
p"emisa ,% p - *
p"emisa $% p ../ s
p"emisa 0% t
premisa 4: t --> ~s
____________________
5. ~s 3, 4 MPP
6. ~p &, ' ())
7. q 6,1 S.
*n conclusin, las leyes de inferencia permiten deducir la conclusin, por lo tanto el
razonamiento es vlido.
Demostracin por reduccin al absurdo +(,todo abreviado o prueba formal de
invalidez-:
Suponemos que es posible que las premisas sean verdaderas y la conclusin falsa:
Si es posible entonces el razonamiento !" es vlido.
p"emisa ,% p - * & 1
p"emisa $% p ../ s & 1
p"emisa 0% t = V
premisa 4: t --> ~s= V
____________________
Conclusin q # $
UNI1ERSI2A2 NACIONAL ABIERTA 3 A 2ISTANCIA UNA2 4 5556(nad6ed(6c!
)TU% 5556(nad-i"t(a6!"g 7 2!cente dise8ad!"% Ge!"##"e9 Ace-ed! G!n:e: 07;
ESCUELA CIENCIAS BSICAS TECNOLOGA E INGENIERA
Unidad de Ciencias Bsicas
Lgica Matemtica
Ejemp! pa"a a #ase $
.e acuerdo con la conclusin q es $alsa, y de acuerdo con la premisa / % es &er'a'era.
*sto obliga a que de acuerdo con la premisa 0, s sea $alsa. Si s es 1alsa, de acuerdo
con la premisa ', p tiene que ser falsa. 2ero con p $alsa y con q $alsa no se cumple que
la premisa 3 sea verdadera, luego, llegamos a una contradiccin.
*n conclusin, del anlisis por reduccin al absurdo se concluye que no es posible que
cuando las premisas sean verdaderas, la conclusin sea falsa, por lo tanto el
ra(onamien%o es &)li'o.
*)s ma%erial 'e apo+o,
2ara dar solucin a esta actividad debes apoyarte en el m'ulo, en la lectura 4a que
viene la lgica5 y en el ma%erial 'e apo+o para la uni'a' 2,
- ./01"S 2! 23 2S455"33" 2 34 4C10604 -
UNI1ERSI2A2 NACIONAL ABIERTA 3 A 2ISTANCIA UNA2 4 5556(nad6ed(6c!
)TU% 5556(nad-i"t(a6!"g 7 2!cente dise8ad!"% Ge!"##"e9 Ace-ed! G!n:e: ;7;