UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

ESCUELA DE CIENCIAS BÁSICAS TECNOLOGÍA E INGENIERÍA – LOGICA MATEMATICA

EJERCICIOS PROPOSICIONES

LOGICA MATEMATICA
Tarea 3-Sustentacion Conectivos Lógicos y teoría de conjuntos.

JHAN CAMILO CARABALI AGUADO

C.C.1.143.875.305

Grupo N.

90004_640

Presentado a
Paula Andrea Mosquera

Universidad Nacional Abierta y A Distancia

Escuela de Ciencias Básicas, Tecnología e Ingeniería
CEAD Yopal
Noviembre 2018
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD
ESCUELA DE CIENCIAS BÁSICAS TECNOLOGÍA E INGENIERÍA – LOGICA MATEMATICA
EJERCICIOS PROPOSICIONES

Ejercicio 1: Aplicación de la Teoría de Conjuntos

Descripción del ejercicio:

b. En un diplomado de idiomas compuesto por 22 alumnos; 12 estudian

mandarín; 11 estudian inglés y 11 portugués, 6 estudian mandarín e
inglés; 7 estudian inglés y portugués; 5 estudian mandarín y portugués
y 2 estudian los tres idiomas. ¿Cuántos alumnos estudian sólo inglés?
¿Cuántos estudian mandarín en inglés, pero no portugués? ¿Cuántos
estudian mandarín o portugués, pero no inglés?

1. ¿Cuántos alumnos estudian sólo inglés?

Cantidad: 11-2-4-5=0
Respuesta: Ningún alumno estudia solo inglés
2. ¿Cuántos estudian mandarín e inglés, pero no portugués?
Cantidad: 6-2=4
Respuesta: 4 alumnos estudian mandarín en inglés, pero no
portugués
3. ¿Cuántos estudian mandarín o portugués, pero no inglés?
Cantidad: 5-2=3
Respuesta: 3 alumnos estudian mandarín o portugués, pero no
inglés

M=12
I= 11

3 4 0
2
3 5

1
P=11
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD
ESCUELA DE CIENCIAS BÁSICAS TECNOLOGÍA E INGENIERÍA – LOGICA MATEMATICA
EJERCICIOS PROPOSICIONES

Ejercicio 2: Métodos para probar la validez de un argumento

Descripción del ejercicio:

A continuación, encontrará la expresión simbólica, las premisas y la

conclusión de un argumento para el desarrollo del ejercicio 2:

b. Expresión simbólica: [ ( p →q ) ∧ ( q → r ) ∧(¬r ) ] →(¬ p)

Premisas:
P1: p →q
P2: q → r
P3: ¬ r

Conclusión: ¬ p

Desarrollo:
Razonamiento en lenguaje natural:
Si Matías gana el semestre entonces tendrá una moto. Si tendrá una moto entonces Matías
tiene novia y Matías no tiene novia por tanto Matías no ganó el semestre.

Simulador truth table:

 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD
ESCUELA DE CIENCIAS BÁSICAS TECNOLOGÍA E INGENIERÍA – LOGICA MATEMATICA
EJERCICIOS PROPOSICIONES

Tabla de la verdad:
p q r
p r ( p →q ) (q → r ) ( p →q ) ⋀(q →r( )p →q ) ⋀( q →r ) ⋀((p →q
r ) ) ⋀(q →r ) ⋀ ( r )→( p)
V V V F F V V V F V

V V F F V V F F F V
V F V F F F V F F V
V F F F V F V F F V
F V V V F V V V F V
F V F V V V F F F V
F F V V F V V V F V
F F F V V V V V V V

leyes de inferencia:
Premisas:
Premisa 1: p →q

Premisa 2: q → r

Premisa 3: ¬ r
_____________________

4: ¬ q TT (2),(3)
5: ¬ p TT (1),(4) CONCLUSIÓN