Professional Documents
Culture Documents
TUTOR
MIGUEL ARIZA
Tabla de contenido
INTRODUCCION .............................................................................................................................. 3
DESARROLLO DE LOS EJERCICIOS PROPUESTOS ............................................................. 4
CONCLUSIONES ............................................................................................................................ 11
BIBLIOGRAFIA .............................................................................................................................. 12
INTRODUCION
En el desarrollo del siguiente trabajo, ponemos en prctica todo lo aprendido durante el desarrollo
del tema lgica proposicional, tablas de verdad en proposiciones compuestas, tautologas y
contradicciones, proposiciones categricas, afianzando nuestros conocimientos mediante el
desarrollo y la retroalimentacin de los diferentes ejercicios tanto a nivel individual como grupal.
Adicionalmente se logr la interpretacin de los diversos ejercicios teniendo como base el estudio
de las unidades y el aporte de los compaeros del curso.
Formula:
CANTIDAD DE
PROPOSICIONES
1
NUMERO DE
COMBINACIONES
21 =2
2
3
22 =4
23 =8
Tabla de verdad:
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
p
v
v
v
f
v
v
v
v
(q v r)
p
v
v
f
f
q
v
f
v
f
p
v
f
v
v
r
v
v
f
f
s
v
f
v
f
r
v
f
v
v
s
v
v
f
f
t
v
f
v
f
Svt
v
v
v
f
r
v
v
v
v
f
f
f
f
s
v
v
f
f
v
v
f
F
t
v
f
v
f
v
f
v
f
rsvt
v
v
v
f
v
v
v
v
c. Fui a solicitar un crdito educativo para ingresar a la UNAD y la asesora comercial me dice
lo siguiente. En las entidades financieras, nadie confa en las personas que nunca pagan sus
deudas. Pero se sabe adems que, todo el mundo cuenta con la confianza de sus familiares.
Por lo tanto, en las entidades financieras otorgan crditos, porque cualquiera que tenga familia
paga alguna de sus deudas.
Premisa 1
p: nadie confa en las personas que nunca pagan sus deudas
Premisa 2
q: todo el mundo cuenta con la confianza de sus familiares
Conclusin:
Todo individuo x y Todo individuo z son tales que (Si Hay Al menos un w tal que (.... y (.... y no
sucede que ....)), entonces no sucede que ....). Todo individuo x y Todo individuo z son tales que
(Si .... y ...., entonces ....). Por tanto, Todo individuo x es tal que (Si .... y hay al menos un z tal que
(....), entonces hay al menos un w tal que (....y ....).
Todo individuo x y Todo individuo z son tales que (Si Hay Al menos un w tal que (Px y (Dwx y
no sucede que Awx)), entonces no sucede que Czx). Todo individuo x y Todo individuo z son
tales que (Si Px y Fzx, entonces Czx). Por tanto, Todo individuo x es tal que (Si Px y hay al menos
un z tal que (Fzx), entonces hay al menos un w tal que (Dwx y Axw).
Todo individuo x y Todo individuo z son tales que (Hay Al menos un w tal que
(Px&(Dwx&Awx))Czx).
Todo individuo x y Todo individuo z son tales que (Px&FzxCzx).
Por tanto,
Todo individuo x es tal que (Px&hay al menos un z tal que (Fzx)hay al menos un w tal que
(Dwx&Axw).
Todo individuo x y Todo individuo z son tales que (Hay Al menos un w tal que
(Px&(Dwx&Awx))Czx).
Todo individuo x y Todo individuo z son tales que (Px&FzxCzx).
Por tanto,
Todo individuo x es tal que (Px&hay al menos un z tal que (Fzx)hay al menos un w tal que
(Dwx&Axw).
Todo individuo x y Todo individuo z son tales que (Hay Al menos un w tal que
(Px&(Dwx&Awx))Czx).
Todo individuo x y Todo individuo z son tales que (Px&FzxCzx).
Por tanto,
Todo individuo x es tal que (Px&hay al menos un z tal que (Fzx)hay al menos un w tal que
(Dwx&Axw).
Se concluye:
xz(w(Px&(Dwx&Awx))Czx).
xz(Px&FzxCzx).
Por tanto,
x(Px&z(Fzx)w(Dwx&Axw).
xz(w(Px&(Dwx&Awx))Czx).
xz(Px&FzxCzx).
Por tanto, x(Px&z(Fzx)w(Dwx&Axw).
2. Decidir utilizando las tablas de verdad si este argumento es o no valido, es decir evidenciar
que la tabla que se obtiene es una tautologa o no.
La Universidad Nacional Abierta y a Distancia UNAD, en su metodologa de aprendizaje autnomo,
logra consolidar en los estudiantes un conjunto de destrezas y habilidades que los hacen competentes.
Es as que, Lina estudiante de Ingeniera electrnica aprueba todos los cursos matriculados en el
periodo acadmico 2015-I si es disciplinada en sus estudios; si Lina aprueba todos sus cursos
matriculados entonces gana una beca para pago de matrcula. Por lo tanto, si Lina no es disciplinada
en sus estudios entonces no gana una beca para pago de matrcula.
P: Lina estudiante de Ingeniera electrnica aprueba todos los cursos matriculados en el periodo
acadmico 2015-I si es disciplinada en sus estudios
q: si Lina aprueba todos sus cursos matriculados entonces gana una beca para pago de matrcula
q: si Lina no es disciplinada en sus estudios
p: no gana una beca para pago de matrcula.
(pq)(qp)
(pq)
(qp)
(pq)(qp)
Todo S es P
Todos los estudiantes de primer periodo acadmico de la ECBTI son de la Zona Occidente: universal
afirmativa
Algunos estudiantes de primer periodo acadmico de la ECBTI no son estudiantes Unadistas: particular
afirmativa
CONCLUSIONES
No solo los ejercicios son tiles para presentar el trabajo, sino que el conocimiento de las
mismas se convierte en una herramienta para el futuro desempeo en el campo laboral.
Bibliografa
http://turner.faculty.swau.edu/mathematics/materialslibrary/truth/
http://www.google.com/url?sa=t&rct=j&q=&esrc=s&source=web&cd=1&ved=0CB4QFjAA&url=
http%3A%2F%2Fwww.lllf.uam.es%2F~logicaww%2Fejecutables%2FEjercicio_IX.PPT&ei=27U1
Vbz2DMHMsAWKuIDwCg&usg=AFQjCNELJKDTjMuNdU1SGsOIaUwJlHBVg&sig2=kfpnrhbny60cf-BZsPYuDQ&bvm=bv.91071109,d.b2w
http://www.unicauca.edu.co/matematicas/eventos/log&co/MATERIAL/Elementos_Logica/Textos/
Biblioteca/Libros/Libro_022/Logica_Silogismos.htm
http://campus03.unad.edu.co/ecbti02/mod/lesson/view.php?id=512
http://campus03.unad.edu.co/ecbti02/pluginfile.php/695/mod_forum/intro/c.%20200611%20Trabaj
o%20Colaborativo%20Dos%202015.pdf