FASE 2

TAREA INDIVIDUAL

CAROL BRIGETTE MOLANO PARRA

CODIGO: 94092818076

LOGICA MATEMATICA

TUTOR:
LILIANA GARCIA

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

INGENIRIA INDUSTRIAL
YOPAL CASANARE

PASO2

CONECTIVOS LOGICOS Y TEORIA DE CONJUNTOS

Tarea 1: Proposiciones
Escribir la proposicin compuesta propuesta en lenguaje natural y determine su valor verdad, a
partir del valor de verdad de cada proposicin simple:
Ejercicio d:
:
:
:
(q r )( p r)

Tarea 2: Tablas de verdad

Cada solucin de los siguientes enunciados debe contar con las siguientes etapas:

Expresin en lenguaje simblico.

Desarrollo mediante tablas de verdad
Uso del simulador Truth Table.

Ejercicio a:
No puedes daar a un ser humano o permitir que sufra dao si eres un robot.
P= Puedes daar a un ser humano
Q= permitir que sufra dao
R= eres un robot

3
No puedes daar a un ser humano o permitir que sufra dao si eres un robot.
23=8
P

~P

~P V Q

(~P V Q) R

V
V
V
V
F
F
F
F

V
V
F
F
V
V
F
F

V
F
V
F
V
F
V
F

F
F
F
F
V
V
V
V

V
V
F
F
V
V
V
V

F
F
F
F
V
V
V
V

Tarea 3: Teora de Conjuntos

Ejercicio b:
Autos con trasmisin automtica pero no tenan clima ni auto estreo.
Tarea 4: Aplicacin de la teora de conjuntos
Ejercicio b:
A una prueba de ingreso a la Universidad se presentaron 100 alumnos, de los
cuales 65 aprobaron el examen de Matemticas,25 el de Matemticas y
Fsica y 15 aprobaron slo el de Fsica. Cuntos no aprobaron ninguno de los
exmenes mencionados