ACTIVIDADES A DESARROLLAR

TAREA 1:PROPOSICIONES

EJERCICIO B

p: El rector de la UNAD es Jaime Alberto leal afanador

q: La UNAD es una institución de carácter publico

r: En la UNAD se estudia de forma presencial

[(p→r)˄q]↔(¬ r ˅¬q)

proposición compuesta en lenguaje natural: ejercicio B

Si el rector de la UNAD es Jaime Alberto leal afanador, entonces en la UNAD se estudia

de forma presencial y La UNAD es una institución de carácter publico. si y solo si en la UNAD

no se estudia de forma presencial o la UNAD no es una institución de carácter público.

DETERMINACION DE VALOR DE VERDAD:

p: V q:V r:F

[(p→r)˄q]↔(¬ r ˅¬q)

[(V→F)˄V]↔(V˅F)

[F˄V]↔V

F↔V

F
TAREA 2: tablas de verdad

EJERCICIO A:

Si en las mañanas llueve entonces en la tarde hace frio y si en la tarde hace frio entonces en la

noche llueve

EXPRESION EN LENGUAJE SIMBOLICO O FORMAL :

A: lenguaje formal

p:en las mañanas llueve

q: en la tarde hace frio

r:en la noche llueve

B:lenguaje simbólico:

(p→q)˄(q→r)

TABLA DE VERDAD MANUALMENTE : se aplica la ley 2 elevado ala n

n:3

2e3: 8

DOS EJEMPLOS DE LOS DESARROLLOS DE OBTENCION DE LOS VALORES EN

LA TABLA DE LA VERAD
p:V q:V r:V p:V q:V r:F

(p→q)˄(q→r) (p→q)˄(q→r)

(V→V)˄(V→V) (V→V)˄(V→F)

V˄V V˄F

V F

SOLUCION COMPLETA DE TABLADE LA VERAD,M …

(p→q)˄(q→r)
P Q R

V V V V

V V F F

V F V F

V F F F

F V V V
 F V F F

F F V V

F F F V

SIMULADOR TRUTH :
SE COMPRUEBA QUE LOS VALORES DE LA TABLA DE LA VERDAD SON

IDENTICOS A LOS DEL SIMULADOR TRUTH SOLO QUE APARECE

T=TRUTH=VERDAD

TAREA 3 : PROBLEMAS DE APLICACION.

EJERCICIO A:

[(𝑝⟶𝑞)∧(∼𝑝⟶𝑟)∧(𝑟⟶𝑠)]⟶(∼𝑞⟶𝑠)

DEFINICIONES DE LAS PROPOSICIONES SIMPLES:

P: La unidad #1 se llama lógica proposicional

q:el curso de pensamiento logico matemático tiene un máximo puntaje de 500 puntos

r:la lógica proposicional utiliza oraciones simples como compuestas

s:los ejercicios deben ser probados en el simulador truth

LENGUAJE DE EXPRESION FORMAL:

Si la unidad #1 se llama logica proposicional, entonces curso de pensamiento logico

matemático tiene un máximo puntaje de 500 puntos y si La unidad #1 no se llama lógica

proposicional ,entonces la lógica proposicional utiliza oraciones simples como

compuestas y si la lógica proposicional utiliza oraciones simples como compuestas,

entonces los ejercicios deben ser probados en el simulador truth ,entonces si el curso de

pensamiento logico matemático no tiene un máximo puntaje de 500 puntos, entonces los

ejercicios deben ser probados en el simulador truth.

p q r s [(𝑝⟶𝑞)∧(∼𝑝⟶𝑟)∧(𝑟⟶𝑠)]⟶(∼𝑞⟶𝑠)

V V V V V

V V V F V

V V F V V

V V F F V

V F V V V

V F V F V

V F F V V

V F F F V

F V V V V
F V V F V

F V F V V

F V F F V

F F V V V

F F V F V

F F F V V

F F F F v

 SIMULADOR TRUTH:

 EL EJERCICIO ESCOGIDO POR MI ES UNA TAULOGIA: TODAS SON

VERDADERAS