115_TRABAJO COLABORATIVO DOS

JEFFERSON MARÍN CARDONA

CRISTIAN JULIÁN LEÓN
FELIPE ANDRÉS RENGIFO CUELLAR
200611_115

PROFESOR
FABIO OSSA

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

PENSAMIENTO LÓGICO MATEMÁTICO
BOGOTÁ
2015
 115_ TRABAJO COLABORATIVO DOS

JEFFERSON MARÍN CARDONA

CRISTIAN JULIÁN LEÓN
FELIPE ANDRÉS RENGIFO CUELLAR
200611_115

PROFESOR
FABIO OSSA

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

PENSAMIENTO LÓGICO MATEMÁTICO
BOGOTÁ
2015
 INTRODUCCIÓN

El uso de la lógica proposicional es muy importante ya que en base a este tema se analiza cómo
usar un sistema de símbolos para representar un dominio de una frase, junto con funciones que
permitan razonar sobre las posibles acciones que se puedan realizar. Generalmente, usamos
algún tipo de lógica para proveer una semántica formal de como las funciones de razonamiento
se aplican a los símbolos del dominio del discurso, además de proveer operadores como
cuantificadores, operadores modales, etc. esto, junto a una teoría de interpretación, da significado
a las frases en la lógica.
 OBJETIVOS

 Interpretar de manera adecuada el tipo de proposición que puede tener una frase
 Trabajar con las tablas de verdad y sus operaciones.
 Aprender acerca de la terminología proposicional.
 Conocer los tipos de silogismos categóricos.
 Aprender a representar proposiciones con las tablas de verdad.
 TRABAJO COLABORATIVO DOS

Planteamiento y la solución problema de Lógica Proposicional:

Si Soraida estudia Ingenierí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 Soraida reprobó el curso de Telemática y no aprobó el curso de
Microcontroladores. Si Soraida no reprobó el curso de Telemática o aprobó el curso de
Microcontroladores, 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 4,3 en todos sus estudios.

Proposiciones encontradas:

 p = Soraida estudia ingeniería electrónica

 q = Participar en una convocatoria laboral de una empresa de equipos tecnologicos.
 r = Aprobar telemática
 s = Aprobar microcontroladores.
 t = Evidenciar promedio de 4.3 en todos sus estudios

Entonces:

{[(p→q)∧¬q] → (¬r∧¬s)} ∧ [(r v s) →q] →(q↔t)

 EVIDENCIA USO SIMULADOR TRUTH

RESULTADO USO SIMULADOR TRUTH

Truth Table

  p     q     r     s     t    {[(p→q)Λ¬q]→(¬rΛ¬s)}Λ[(rVs)→q]→(q↔t) 

  T     T     T     T     T   T

T T T T F F
T T T F T T
T T T F F F
T T F T T T
 T T F T F F
T T F F T T
T T F F F F
T F T T T T
T F T T F T
T F T F T T
T F T F F T
T F F T T T
T F F T F T
T F F F T F
T F F F F T
F T T T T T
F T T T F F
F T T F T T
F T T F F F
F T F T T T
F T F T F F
F T F F T T
F T F F F F
F F T T T T
F F T T F T
F F T F T T
F F T F F T
F F F T T T
F F F T F T
F F F F T F
F F F F F T

Este ejercicio es una CONTINGENCIA, ya que se presentan falsos y verdaderos en la

respuesta
 CONCLUSIONES

 Se aprendió a usar la herramienta para la resolución de proposiciones a traves de las

tablas de verdad.
 Se obtuvo un conocimiento acerca de las posibilidades y probabilidades que una
proposición compuesta puede tener.
 Se logró reconocer que tipos de silogismo puede tener un enunciado a través de su
respectivo análisis.
 Se obtuvo la habilidad para usar las diferentes operaciones de lógica proposicional.
 BIBLIOGRAFÍA

 Que es lógica proposicional? Recuperado el 16 de Octubre de 2015 de:

http://www.gestiopolis.com/que-es-logica-proposicional/
 Lógica promocional ejercicios resueltos, recuperado el 10 de Octubre de YouTube
https://www.youtube.com/watch?v=5bgg_FyVtK8
 Lógica proposicional. Recuperado el 12 de Octubre de 2015 de:
http://www.monografias.com/trabajos/iartificial/pagina4_1.htm
 Introducción a la lógica. Recuperado el 07 de Octubre de 2015 de:
http://www.zweigmedia.com/MundoReal/logic/logic2.html