200611_38_PASO_2_JOSEOCHOA (1)

ACTIVIDADES ACTIVIDADES A DESARROLLAR TAREA 1:PROPOSICIONES EJERCICIO B p: El rector de la UNAD es Jaime Alberto leal afa nador q: La UNAD es una institución de carácter publico r: En la UNAD se estudia de forma presencial

[(p→r)˄q]↔(¬ [(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 un a 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]↔(¬ [(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 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)  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)

( 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)˄(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 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