TRABAJO COLABORATIVO MOMENTO # 2

RAFAEL ANDRES MORENO SAAVEDRA

LIC. OSCAR JHONNY GÓMEZ SUÁREZ

TUTOR

GRUPO: 200611_581

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA - UNAD

TECNOLOGÍA DE PRODUCCION DE AUDIO

Tunja, 17 de octubre de 2015

 1. 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.

Con 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.1 Tautología

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 haga 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 ^ q | (p ^ q) => p
V | V || V || V
V | F || F || V
F | V || F || V
F | F || F || V

En este ejemplo, [(p ^ q) => p] 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: Verdadero, por lo tanto tautología.

3.2 Planteamiento y Resolución del Siguiente Problema

Se han seleccionado tres estudiantes del curso de Pensamiento Lógico y Matemático con el fin
de que puedan desplazarse a tres ciudades donde hay gran número de estudiantes matriculados en
el curso, con el fin de brindar apoyo en el manejo de las actividades B-Learninig, los tres
estudiantes seleccionados son de la ciudad de Pereira. En el proceso logístico, el Director de
Curso hace el siguiente análisis: “Adriana se desplazará a Medellín, si María viaja a Pasto. Laura
partirá a Bucaramanga o Adriana no partirá para Medellín. O María no viaja a Pasto o Laura no
viajará a Bucaramanga. Por consiguiente, María no se queda en Pasto”. ¿Es correcto esta
logística?

p: Adriana Medellín

q: María Pasto

r: Laura Bucaramanga

[(q -> p) ᴧ (r v ¬p)] ᴧ (¬q v ¬r) -> ¬q

( ( q - p ) & ( r v ¬ p ) ) & ( ¬ q v ¬ r ) - ¬ q
> >
V V V V V V F V F F V F F V V F V
V V V F F F F V F F V V V F V F V
F V V V V V F V V V F V F V V V F
F V V F F F F V F V F V V F V V F
V F F F V V V F F F V F F V V F V
V F F F F V V F F F V V V F V F V
F V F V V V V F V V F V F V V V F
F V F V F V V F V V F V V F V V F
 Es correcto el análisis ya que la tabla
corresponde a una Tautología, por lo
tanto, María no se queda en Pasto.

3.3 Representación del Siguiente Silogismo en Diagramas de Venn

-Algunos docentes en Licenciados son de la Universidad UNAD.

-Todos los docentes de Matemáticas son de la Universidad UNAD.

-Algunos docentes de Matemáticas no son docentes en Licenciados.

3.3.1 Algunos docentes en Licenciados son de la Universidad UNAD.

Algunos A son B

Proposición Particular Afirmativa

A B
Docentes Licenciados de la UNAD

3.3.2 Todos los docentes de Matemáticas son de la Universidad UNAD.

Todo A es B

Proposición Universal Afirmativa

B
UNAD
3.3.3 Algunos docentes de Matemáticas no son docentes en Licenciados.

Proposición particular negativa

Algunos A no son B

A B
 4. FASE GRUPAL

4.1 Planteamiento y Resolución del Siguiente 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.

P: Soraida aprobó el curso de telemática o aprobó el curso de microcontroladores

q: Soraida si participara en la convocatoria laboral de una empresa de equipos tecnológicos

r: Si evidenciara un promedio de 4.3

[(q->p)->r]v(¬q->¬r)

q q R (q->p) (q->p)- ¬q ¬r (¬q->¬r) [(q->p)->r]v(¬q->¬r)

>r
V V V V V F F V V
V V F V F F V V V
V F V V V V F F V
V F F V F V V V V
F V V F V F F V V
F V F F V F V V V
F F V V V V F F V
F F F V F V V V V
La tabla corresponde a una tautología ya que resulta verdadera para cualquier asignación de
valores de verdad
 5. CONCLUSIONES

La lógica ofrece métodos que enseñan cómo elaborar proposiciones, evaluar su valor de
verdad y determinar si las conclusiones se han deducido correctamente a partir de
proposiciones supuestas

La lógica matemática, además, nos ayuda a desarrollar los procesos de pensamiento

encontrando sentido a lo que normalmente realizamos. Muchas veces utilizamos en nuestros
razonamientos oraciones y frases que suelen estudiarse en esta materia. Las inferencias
lógicas también cotidianas y las hacemos sin darnos cuenta.

6. REFERENCIAS

 https://es.wikipedia.org/wiki/L%C3%B3gica_proposicional

 http://groupoaci710.blogspot.com.co/2013/06/trabajo-de-investigacion-
logica.html

 http://www.monografias.com/trabajos71/logica-proposicional/logica-
proposicional.shtml

 Truth Tables Generator

http://turner.faculty.swau.edu/mathematics/materialslibrary/truth/

 https://es.wikipedia.org/wiki/Tautolog%C3%ADa