UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

Programa Ingeniería de Sistemas

Curso: Lógica matemática

Act. 6. Trabajo colaborativo # 1

Estudiante
Líder Mauricio Flórez Gaitán
Grupo N° 306

Tutor
PATRICIA LEGUIZAMON P

11 de Octubre de 2011
Barrancabermeja
Santander.
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
Escuela de ciencias básicas tecnologías e Ingeniería
Lógica Matemática

FASE 1. TEORIA DE CONJUNTOS

Expresión 1: (A B  C) U B
Expresión 2 (B-A) U (C ᴖ B)

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:

Son proposiciones No son proposiciones

Nombre del estudiante
lógicas: lógicas
El programa de ingeniería
de sistemas forma parte de Estudiar ingeniería es lo
los pregrados que ofrece la máximo
UNAD
Para lograr el título de
Ingeniero de sistemas es
La ingeniería es lo nuevo
necesario presentar el
proyecto de grado.
Líder Mauricio Flórez Para ser ingeniero de
Gaitán sistemas es necesario La ingeniería es la mejor de
cumplir los requisitos los pregrados
exigidos
Soy estudiante de
ingeniería de sistemas de El semestre es fácil
la UNAD
La ingeniería de sistemas
es una carrera activa en Estudias en ingeniería?
los pregrados de la UNAD

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD – www.unad.edu.co Pá gina 2

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
Escuela de ciencias básicas tecnologías e Ingeniería
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
La tolerancia es necesaria p = la tolerancia p q
para la paz q = la paz
Ser tolerante es el camino p= Hay paz p q
hacia la paz. q= hay tolerancia
Para aprender matemáticas p=aprender matemáticas p (qΛr)
es necesario ser ordenado q=Ser ordenado
y constante. r=Ser constante
Enseña a tus hijos a p= Enseña a tus hijos a
controlar sus impulsos y a controlar sus impulsos
desarmar su corazón y q= desarmar su corazón ( pΛq) Λ r
tendrán buena vida en la r= tendrán buena vida en
tierra. el tierra
Perseverancia, orden y p= perseverancia
amor por la tarea son q= orden (p Λ q Λ r) s
cualidades de Ana. r= amor por la tarea
s= cualidades de Ana

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) Λ (r → s)] Λ (p V r)} → (q V s)

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD – www.unad.edu.co Pá gina 3
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
Escuela de ciencias básicas tecnologías e Ingeniería
Lógica Matemática

p q r s {[(p→q) Λ (r→s)] Λ ( p V r )} → (qVs)

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD – www.unad.edu.co Pá gina 4

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
Escuela de ciencias básicas tecnologías e Ingeniería
Lógica Matemática

v v v v v v v v v v v
v v v f v f f f v v v
v v f v v v v v v v v
v v f f v v v v v v v
v f v v f f v f v v v
v f v f f f f f v v f
v f f v f f v f v v v
v f f f f f v f v v f
f v v v v v v v v v v
f v v f v f f f v v v
f v f v v v v f f v v
f v f f v v v f f v v
f f v v v v v v v v v
f f v f v f f f v v f
f f f v v v v f f v v
f f f f v v v f f v f

2.4. Pantallazo

Respuesta: Tautología

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD – www.unad.edu.co Pá gina 5

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
Escuela de ciencias básicas tecnologías e Ingeniería
Lógica Matemática

[(p → q) Λ (q → r)] → (p → r)

p q r [(p→q) Λ ( q → r )] → (p→r)
v v v v v v v v
v v f v F f v f
v f v F F v v v
v f f F f v v f
f v v v v v v v
f v f V f f v v
f f v V v v v V
f f f v V v v V

Respuesta: Tautología

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD – www.unad.edu.co Pá gina 6

 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
Escuela de ciencias básicas tecnologías e Ingeniería
Lógica Matemática

2.5 Mediante una tabla de verdad, verifica la equivalencia entre las

siguientes dos proposiciones:
Verificar la equivalencia entre las siguientes 2 proposiciones:

Primera proposición: ~ (p V q) Segunda proposición: ~p V ~q

p q ~p V ~q
v v f f f
v f f v v
f v v v f
f f v v v

2.6 “Si el ganado es Jersey tendré buena leche”, el equipo debe plantear las
proposiciones contraria, recíproca y contrarrecíproca de esta expresión.

Directa Si el ganado es Jersey entonces tendré buena leche

Contraria Si el ganado no es Jersey entonces no tendré buena leche
Recíproca Si tengo buena leche entonces el ganado es Jersey
Contrarrecíproca Si no tengo buena leche entonces el ganado no es Jersey

p q ~(pVq) (~pV~q) ~(pVq)↔(~pV~q)

v v f f v

v f f v f

f v f v f

f f v v v

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD – www.unad.edu.co Pá gina 7