Lógica Matemática

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
Escuela de ciencias básicas tecnologías e Ingeniería

Lógica Matemática
Trabajo grupal de calificación individual No.1
Nombre de curso: 90004 – Lógica Matemática
Temáticas revisadas: UNIDAD 1
Políticas para el desarrollo de la actividad:

Querido estudiante, tres son las condiciones que deben ser cumplidas para recibir nota por el desarrollo
de este trabajo colaborativo:
1. Que el estudiante presente una solución individual oportuna de la actividad

2. Que el estudiante tenga participaciones significativas, continuas y oportunas debatiendo sus
propuestas con las propuestas de sus compañeros.
3. Que el equipo haya hecho entrega de un producto final consolidado en la plantilla diseñada con
este fin.
GUÍA DE ACTIVIDADES
Profundización de la Unidad 1: Queridos estudiantes, a través de esta actividad realizaremos el

proceso de transferencia de los temas de la primera unidad. Para lograrlo desarrollaremos la actividad 6.
La invitación es a realizar la lectura consciente y completa de las páginas de esta guía de

actividades. Especificaciones de la entrega de la actividad:
El informe grupal debe contener:
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD – www.unad.edu.co 1/22

Lógica Matemática
1. Portada
2. Introducción
3. Desarrollo de la actividad
4. Conclusiones
5. Referencias
El formato del archivo debe ser PDF, el nombre del archivo debe ser #equipo_Tarea1

Lógica Matemática
Políticas para el desarrollo de la actividad:
Es importante tener en cuenta que la tarea debe ser entregada por uno sólo de los miembros del
equipo; para ello, el estudiante elegido debe enviar el trabajo en formato PDF.
Recordemos que en los trabajos colaborativos el trabajo es grupal pero la nota es individual ya que
esta nota se asigna a cada estudiante de acuerdo a su solución individual y calidad de participación
en el debate.
En los trabajos colaborativos no se recibirán trabajos individuales, o extemporáneos o enviados al

correo personal del tutor. El trabajo en equipo es la primera condición para recibir una nota por el
desarrollo de la actividad.
Recuerda hacer la lectura del enlace: “políticas para el desarrollo de los trabajos colaborativos”
!Los mejores deseos en el desarrollo de la actividad!

Lógica Matemática
Este archivo en Word es la plantilla y guía para resolver la actividad. Cada estudiante debe dar
solución a esta plantilla de manera individual y luego en equipo debatir las diferencias para que
finalmente uno de los compañeros del equipo suba el producto final.
Éxitos en el desarrollo de la actividad.
LÓGICA MATEMÁTICA
Trabajo grupal de calificación individual No.1
presenta
nombres de estudiantes que participaron desarrollando la actividad:

nombre – No.documento
tutor

Lógica Matemática
nombre del tutor
Director de curso
Georffrey Acevedo González
LUGAR FECHA
Introducción
Recuerda que una introducción describe el contenido del trabajo, es decir, introduce al lector a lo que
encontrará y puede esperar encontrar en el trabajo. Paralelamente los comentarios de cómo fue
desarrollado, las dificultades encontradas, las herramientas utilizadas harán que la introducción a cada
trabajo sea diferente. No se trata de hacer la introducción al curso de Lógica Matemática ni de exponer
en este espacio la importancia de la Lógica Matemática.

Lógica Matemática
Fase 1. Saberes previos para la unidad: Teoría de conjuntos
1.1. Haciendo uso de los diagramas de Venn, plantea una propuesta para representar el área
sombreada para la expresión: “Juan matriculó Álgebra o Lógica pero no Competencias
Comunicativas.
A L
CC
1.2. Haga uso de la representación simbólica de las operaciones entre conjuntos, para representar el
área sombreada en el diagrama del numeral anterior:
A: Algebra L: Lógica CC: Competencias comunicativas
El area sombreada estará representada por la siguiente operación de conjuntos:
[ ( A U L) – ( A n L ) ] - CC

Lógica Matemática

Lógica Matemática
Fase 2. Principios de lógica
2.1. En su aporte individual, cada estudiante debe plantear diez expresiones relacionadas con su
programa de estudio, tal que cinco de las expresiones correspondan a proposiciones lógicas y cinco
expresiones que no puedan ser clasificadas como proposiciones. De éstas expresiones, el equipo
debe elegir una de las propuestas por cada participante:
Nombre del estudiante Son proposiciones No son proposiciones

lógicas: lógicas
Biviana Andrea Orozco La lógica es una rama de Estudiemos las
Salavarrieta la matemática operaciones entre conjuntos
Los conectores lógicos son Realicemos el trabajo
cuatro colaborativo de lógica
Una proposición Aprendámonos los
compuesta esta formada conectores lógicos
por dos proposiciones
simples
Una tabla de verdad nos Realicemos las tablas de
ayuda a dar un valor de verdad propuestas en el
verdad a una proposición modulo
compuesta.
El lenguaje simbólico Construyamos una tabla de
permite expresar verdad
proposiciones

Lógica Matemática
2.2. A continuación se propone identificar los conectivos lógicos y proposiciones simples presentes
en cada expresión, posteriormente plantearán una expresión equivalente en lenguaje simbólico:
Expresión Premisas Lenguaje simbólico

Si hay tolerancia, p = hay tolerancia pq
entonces hay paz q = hay paz
Para aprender p= Para p ( q Λ r)
matemáticas es aprender matemáticas
necesario ser ordenado q= Ser ordenado
y constante. r= constante
Dos condiciones son p= enséñale a tus hijos a (pΛq) r
necesarias y suficientes controlar sus impulsos
para que tus hijos q= a desarmar su corazón
tengan buena vida r= tendrán buena vida en
sobre la tierra: la tierra
enséñales a controlar
sus impulsos y a
desarmar su corazón.
Ana tiene P= Ana tiene ( pΛqΛr )
perseverancia, orden y perseverancia
amor por la tarea. q= Ana tiene orden
r= Ana tiene amor por la
tarea

Lógica Matemática
2.3. Las tablas de verdad nos permiten conocer el valor de verdad de una proposición compuesta
para cada valor posible de las proposiciones simples que la conforman. A continuación, el equipo
debe elaborar la tabla de verdad de las siguientes proposiciones lógicas, finalmente, deben clasificar
la proposición como tautología, contradicción o contingente de acuerdo al resultado:
  p  q   ¬q   p  r    q  s 
 p �‫��خ‬
�
� q p�
� q

Lógica Matemática
1.   p  q   ¬q   p  r    q  s 
p q r s ⌐q pVq [(p V q)Λ ⌐q] pΛr [(p V q)Λ ⌐q] Λ (pΛr) q Vs [(p V q)Λ ⌐q] Λ (pΛr) (q Vs)
V V V V F V F V F V V
V V V F F V F V F V V
V V F V F V F F F V V
V V F F F V F F F V V
V F V V V V V V V V V
V F V F V V V V V F F
V F F V V V V F F V V
V F F F V V V F F F V
F V V V F V F F F V V
F V V F F V F F F V V
F V F V F V F F F V V
F V F F F V F F F V V
F F V V V F F F F V V
F F V F V F F F F F V
F F F V V F F F F F V
F F F F V F F F F F V

Lógica Matemática
La anterior proposición compuesta no es ni una tautología , ni una contradicción , por lo cual se puede
concluir que es contingente ya que no es necesariamente verdadera ni necesariamente falsa.
1.  p �‫��خ‬
�
� q p�
� q
p q ⌐p ⌐q ( p V ⌐q) [( p V ⌐q) Λ ⌐p] [(p V q)Λ ⌐P] ⌐q
V V F F V F V
V F F V V F V
F V V F F F V
F F V V V V V

Lógica Matemática
Conclusión: la anterior proposición compuesta es una tautología ya que es verdadera para todas las
combinaciones posibles de los valores de verdad de sus premisas.
A continuación debes verificar el resultado obtenido, para hacerlo debes pegar en este espacio el
pantallazo obtenido al usar el siguiente simulador:
http://turner.faculty.swau.edu/mathematics/materialslibrary/truth/
Visita el material de apoyo para la primera unidad, en él encontrarás un video para aprender a usarlo.

Lógica Matemática
1. El anterior pantallazo obtenido al utilizar el simulador justifica el resultado de la tabla

elaborada para la proposición compuesta   p  q   ¬q   p  r    q  s 
2. El pantallazo obtenido al utilizar el simulador, muestra que el resultado obtenido al elaborar la
tabla para la preposición compuesta  p �‫��خ‬

�
� q p�
� q fue correcto

Lógica Matemática

Lógica Matemática

Lógica Matemática
2.4. Mediante una tabla de verdad, evalúa la equivalencia entre las siguientes dos proposiciones:
¿Son equivalentes?
Primera proposición: ¬  p �¬q 

p q ⌐q (p Λ ⌐q) ⌐(p Λ ⌐q)
V V F F V
V F V V F
F V F F V
F F V F V
 segunda proposición: ¬p  q
p q ⌐p (⌐p Λ q)
V V F F
V F F F
F V V V
F f V F

Lógica Matemática
Simbolicamente, podemos determinar que dos proposiciones son lógicamente equivalentes si y solo si :
proposición1 proposicion 2 es una tautología
⌐(p Λ ⌐q) (⌐p Λ q) {⌐(p Λ ⌐q)} {(⌐p Λ q)}

V F F
F F V
V V V
V F F
De la columna color amarillo de la tabla anterior, podemos comprobar que las proposiciones no son
lógicamente equivalentes ya que su bicondicional no es una tautología.

Lógica Matemática
2.5. Proposiciones contraria, recíproca y contrarrecíproca. A continuación el equipo debe plantear

las proposiciones contraria, recíproca y contrarrecíproca de la expresión: “Si el ganado es Jersey no
tendré buena carne”:
P: Si el ganado es jersey
q:no tendrá buena carne
Directa p→q :
Si el ganado es Jersey no tendré buena carne
Contraria ⌐p →(⌐q)
Si el ganado no es Jersey tendré buena carne
Recíproca q→p
No tendré buena carne si el ganado es jersey
Contrarrecípro ⌐q→(⌐p)
ca Tendré buena carne si el ganado no es jersey

Lógica Matemática
Fase 3. Reflexión grupal
Finalmente, en esta fase, el equipo propondrá una reflexión en una página sobre la evolución
histórica de la lógica, el equipo no debe hacer un recuento histórico con fechas, el propósito es
plantear una reflexionar sobre la evolución del pensamiento, descubriendo qué necesidades
humanas han conducido al desarrollo de la lógica.

Lógica Matemática
Conclusiones

Lógica Matemática
Referencias
En orden alfabético de acuerdo con las normas APA (tal y como fue propuesto en el ejemplo de la
guía de la fase de reconocimiento:)
En orden alfabético y a espacio sencillo así:
Primerapellido, Segundoapellido, Iniciadel nombre (añodepublicación). Título en cursiva. Universidad.

País: Editorial. Si la fuente es de internet adicionas: Recuperado el 20 de agosto de:
http:www.direcciónelectrónica.nnn.
Ejemplo:
Autor, (año). Título. Nombre del sitio. Recuperado el 20 de agosto de :http:www.direcciónelectrónica.com.

Lógica Matemática

Enviado por

Dados do documento

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Lógica Matemática

Enviado por

Direitos autorais:

Formatos disponíveis

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

Escuela de ciencias básicas tecnologías e Ingeniería

Nombre de curso: 90004 – Lógica Matemática

Temáticas revisadas: UNIDAD 1

Políticas para el desarrollo de la actividad:

1. Que el estudiante presente una solución individual oportuna de la actividad

Profundización de la Unidad 1: Queridos estudiantes, a través de esta actividad realizaremos el

La invitación es a realizar la lectura consciente y completa de las páginas de esta guía de

El informe grupal debe contener:

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD – www.unad.edu.co 1/22

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD – www.unad.edu.co 2/22

En los trabajos colaborativos no se recibirán trabajos individuales, o extemporáneos o enviados al

!Los mejores deseos en el desarrollo de la actividad!

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD – www.unad.edu.co 3/22

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

Trabajo grupal de calificación individual No.1

nombres de estudiantes que participaron desarrollando la actividad:

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD – www.unad.edu.co 4/22

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD – www.unad.edu.co 5/22

A: Algebra L: Lógica CC: Competencias comunicativas

El area sombreada estará representada por la siguiente operación de conjuntos:

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD – www.unad.edu.co 6/22

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD – www.unad.edu.co 7/22

Nombre del estudiante Son proposiciones No son proposiciones

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD – www.unad.edu.co 8/22

Expresión Premisas Lenguaje simbólico

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD – www.unad.edu.co 9/22

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD – www.unad.edu.co 10/22

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD – www.unad.edu.co 11/22

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD – www.unad.edu.co 12/22

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD – www.unad.edu.co 13/22

1. El anterior pantallazo obtenido al utilizar el simulador justifica el resultado de la tabla

2. El pantallazo obtenido al utilizar el simulador, muestra que el resultado obtenido al elaborar la

tabla para la preposición compuesta  p �‫���خ‬

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD – www.unad.edu.co 14/22

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD – www.unad.edu.co 15/22

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD – www.unad.edu.co 16/22

Primera proposición: ¬  p �¬q 

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD – www.unad.edu.co 17/22

⌐(p Λ ⌐q) (⌐p Λ q) {⌐(p Λ ⌐q)} {(⌐p Λ q)}

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD – www.unad.edu.co 18/22

2.5. Proposiciones contraria, recíproca y contrarrecíproca. A continuación el equipo debe plantear

q:no tendrá buena carne

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD – www.unad.edu.co 19/22

Fase 3. Reflexión grupal

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD – www.unad.edu.co 20/22

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD – www.unad.edu.co 21/22

En orden alfabético y a espacio sencillo así:

Primerapellido, Segundoapellido, Iniciadel nombre (añodepublicación). Título en cursiva. Universidad.

Autor, (año). Título. Nombre del sitio. Recuperado el 20 de agosto de :http:www.direcciónelectrónica.com.

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD – www.unad.edu.co 22/22

Você também pode gostar

tabla para la preposición compuesta  p �‫��خ‬