TRABAJO COLABORATIVO COLABORATIVO MOMENTO # 2
RAFAEL ANDRES MORENO SAAVEDRA
LIC. OSCAR JHONNY GÓMEZ SUÁREZ TUTOR
GRUPO: 2006!"
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA $ UNAD TECNOLOG%A DE PRODUCCION DE AUDIO
T&'()* + ,- /&1- ,- 20"
. INTRODUCCIÓN El presente trabajo se realizará una apropiación y profundización de los conocimientos adquiridos en la unidad dos, que aborda el tema de lógica proposicional, a travez de la realización de la actividad planteada por el tutor de curso, en el cual se presentaran una serie de ejercicios prácticos y su posterior resolución.
2. OBJETIVOS La lógica proposicional es una rama de la lógica clásica que estudia las proposiciones o sentencias lógicas, sus posibles evaluaciones de verdad y en caso de un ideal, su nivel absoluto de verdad. Para resolver multitud de problemas en la vida diaria y para sacar conclusiones o realizar demostraciones en la científica, aplicamos continuamente el razonamiento lógico. on esta actividad se busca conceptualizar, analizar y argumentar de forma adecuada los procedimientos desde la lógica proposicional utilizados para demostrar la veracidad y validez de situaciones específicas del mundo real! y así verificar si la tabla de verdad generada es una tautología, contradicción o contingencia.
3. FASE INDIVIDUAL
3. T)&45) En lógica, una tautología "del griego #$%#&'&()$, *decir lo mismo*+ es una fórmula bien formada de un sistema de lógica proposicional que resulta verdadera para cualquier interpretación! es decir, para cualquier asignación de valores de verdad que se aga a sus fórmulas atómicas. La construcción de una tabla de verdad es un m-todo efectivo para determinar si una fórmula cualquiera es una tautología o no
Ejemplo p El pasto es verde q El cielo es amarillo p / q / p 0 q / "p 0 q+ 12 p 3 / 3 // 3 // 3 3 / 4 // 4 // 3 4 / 3 // 4 // 3 4 / 4 // 4 // 3
En este ejemplo, 5"p 0 q+ 12 p6 es una tautología. En t-rminos más simples, decir que una proposición es verdadera es lo mismo que decir que es una tautología. El sol brilla 3erdadero, por lo tanto tautología.
3.2 P4)'-)78-' 9 R-4&/8;' ,-4 S85&8-'- P14-7) 7e an seleccionado tres estudiantes del curso de Pensamiento Lógico y 8atemático con el fin de que puedan desplazarse a tres ciudades donde ay gran n9mero de estudiantes matriculados en el curso, con el fin de brindar apoyo en el manejo de las actividades :;Learninig, los tres
estudiantes seleccionados son de la ciudad de Pereira. En el proceso logístico, el
driana se desplazará a 8edellín, si 8aría viaja a Pasto. Laura partirá a :ucaramanga o >driana no partirá para 8edellín. ? 8aría no viaja a Pasto o Laura no viajará a :ucaramanga. Por consiguiente, 8aría no se queda en Pasto@. AEs correcto esta logísticaB p >driana 8edellín q 8aría Pasto r Laura :ucaramanga
5"q ;2 p+ ᴧ "r v Cp+6 ᴧ "Cq v Cr+ ;2 Cq " "
q
;
3 3 4 4 3 3 4 4
2 3 3 3 3 4 4 3 3
p 3 3 3 3 4 4 4 4
+ D " 3 4 3 4 4 4 3 3
r 3 4 3 4 3 4 3 4
v 3 4 3 4 3 3 3 3
C 4 4 4 4 3 3 3 3
p 3 3 3 3 4 4 4 4
+ + D " 4 4 3 4 4 4 3 3
C 4 4 3 3 4 4 3 3
q 3 3 4 4 3 3 4 4
v 4 3 3 3 4 3 3 3
C 4 3 4 3 4 3 4 3
r 3 4 3 4 3 4 3 4
+
;
C
q
2 3 3 3 3 3 3 3 3
4 4 3 3 4 4 3 3
3 3 4 4 3 3 4 4
Es correcto el análisis ya que la tabla corresponde a una autología, por lo tanto, 8aría no se queda en Pasto.
3.3 R-<--')/8;' ,-4 S85&8-'- S84587 -' D8)5)7) ,- V-'' ;>lgunos docentes en Licenciados son de la Fniversidad FG><. ;odos los docentes de 8atemáticas son de la Fniversidad FG><. ;>lgunos docentes de 8atemáticas no son docentes en Licenciados.
H.H.I >lgunos docentes en Licenciados son de la Fniversidad FG><. >lgunos > son : Proposición Particular >firmativa
B
A
Docentes Licenciados de la UNAD
H.H.J odos los docentes de 8atemáticas son de la Fniversidad FG><. odo > es : Proposición Fniversal >firmativa
B
UNAD
H.H.H >lgunos docentes de 8atemáticas no son docentes en Licenciados. Proposición particular negativa >lgunos > no son :
A
B
=. FASE GRUPAL =. P4)'-)78-' 9 R-4&/8;' ,-4 S85&8-'- P14-7) ,- L;58/) P<8/8')4 7i 7oraida estudia Kngeniería Electrónica, entonces participará en la convocatoria laboral de una empresa de equipos tecnológicos. Pero, no participará en la convocatoria laboral de una empresa de equipos tecnológicos, si 7oraida reprobó el curso de elemática y no aprobó el curso de 8icrocontroladores. 7i 7oraida no reprobó el curso de elemática o aprobó el curso de 8icrocontroladores, entonces participará en la convocatoria laboral de una empresa de equipos tecnológicos. Por lo tanto, participará en la convocatoria laboral de una empresa de equipos tecnológicos si y solo si evidencia un promedio de ,H en todos sus estudios.
P 7oraida aprobó el curso de telemática o aprobó el curso de microcontroladores q 7oraida si participara en la convocatoria laboral de una empresa de equipos tecnológicos r 7i evidenciara un promedio de .H
>?@$<$?@$ q
q
M
"q;2p+
3
3
3
3
3
3
?@$
Cq
Cr
3
"q;2p+; 2r 3
4
4
3
4
3
4
4
3
3
4
3
3
3
3
4
4
3
4
4
3
4
3
3
3
4
3
3
4
3
4
4
3
4
3
4
4
3
4
3
3
4
4
3
3
3
3
4
4
4
4
4
3
4
3
3
3
>?@$<$?@$ V V V V V V V V
La tabla corresponde a una tautología ya que resulta verdadera para cualquier asignación de valores de verdad
". CONCLUSIONES
La lógica ofrece m-todos que enseNan cómo elaborar proposiciones, evaluar su valor de verdad y determinar si las conclusiones se an deducido correctamente a partir de proposiciones supuestas La lógica matemática, además, nos a yuda a desarrollar los procesos de pensamiento encontrando sentido a lo que normalmente realizamos. 8ucas veces utilizamos en nuestros razonamientos oraciones y frases que suelen estudiarse en esta materia. Las inferencias lógicas tambi-n cotidianas y las acemos sin darnos cuenta.
6. REFERENCIAS •
ttpsOOes.iQipedia.orgOiQiOLRHR:HgicaSproposicional
•
ttpOOgroupoaciTIU.blogspot.com.coOJUIHOUVOtrabajo;de;investigacion; logica.tml
•
ttpOO.monografias.comOtrabajosTIOlogica;proposicionalOlogica; proposicional.stml
•
rut ables Wenerator ttpOOturner.faculty.sau.eduOmatematicsOmaterialslibraryOtrutO
•
ttpsOOes.iQipedia.orgOiQiOautologRHR>
