Paso 2. logica matematica

Cada estudiante debe seleccionar uno de los ejercicios referenciados ref erenciados y anunciar su escogencia en el foro, de tal forma que no coincida con los compañeros. Actividades a desarrollar

Tarea 1: Proposiciones Transcribir en el lenguaje natural la expresión formal que se relaciona y determinar el valor de verdad de la proposición compuesta, a partir del valor de verdad de cada proposición simple:

B) p: El rector de la UNAD es Jaime Alberto Leal Afanador Afanador q: La UNAD es una institución de carácter público r: En la UNAD se estudia de forma presencial [(

→

)

] (¬ ↔

¬ )

Si el rector de la UNAD es Jaime Alberto Leal Afanador entonces En la UNAD se estudian de forma presencial y esta es una Institución de carácter público. 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. p: V [(

→

q: V ]

 (¬

↔

[(V F) ∧ V]

¬ )

 (V ∨ F)

→

↔

[(F) ∧ V]

↔

 (V ∨ F)

[F]

↔

F

 (V)

r: F

Tarea 2: Tablas de verdad Cada estudiante debe seleccionar uno  de los ejercicios referenciados y anunciar su escogencia en el foro, de tal forma que no coincida con los compañeros. La solución de los enunciados debe contar con las siguientes etapas: 

Expresión en lenguaje simbólico o formal.



Generar la tabla de verdad manualmente y a través del

simulador Truth Table. 

Comprobar el resultado de la tabla de verdad manual versus

simulador Truth Table.

B) Si El sol es redondo y la luna es un satélite si y solo si la tierra hace parte de la vía láctea. p: El sol es redondo q: La luna es un satélite r: La tierra hace parte de la vía láctea



Expresión de lenguaje simbológico (p



q)

 r

↔

Generar la tabla de verdad manualmente y a través del simulador Truth Table.



Comprobar el resultado de la tabla de verdad manual versus simulador Truth Table.

Lenguaje en el simulador : (p

q )  r =

Tarea 3: Problemas de aplicación Cada estudiante debe seleccionar uno  de los ejercicios referenciados y anunciar su escogencia en el foro, de tal forma que no coincida con los compañeros.

Desde su rol como estudiante, tendrá la libertad de definir las proposiciones simples bajo una descripción basada en el contexto académico, remplazando las variables expresadas simbólicamente para llevarlas al lenguaje natural. La solución de los enunciados debe contar con las siguientes etapas: 

Definición de las proposiciones simples



Lenguaje natural de la expresión formal



Generar la tabla de verdad manualmente y a través del simulador Truth Table.



Comprobar el resultado de la tabla de verdad manual versus simulador Truth Table.



Definir si el argumento es una Tautología, contradicción o contingencia

B. {(⟶)∧(⟶)∧[(∧)⟶]∧(∧)}⟶ 

Definición de las proposiciones simples

p: la casa es de color blanco q: construida de 2 pisos r: ventanas en aluminio s: se observa la cordillera t: el fin del mundo 

Lenguaje natural de la Expresión Formal

Si la casa en de color blanco entonces es construida de 2 pisos y consta de ventanas en aluminio por tanto se observa entonces la cordillera. Además de es construida de 2 pisos también observamos la cordillera. Por tanto el fin del mundo. Así como la casa es de color blanca y consta de ventanas en aluminio entonces si se observa el fin del mundo. Generar la tabla de verdad manualmente y a través del simulador



Truth Table. B. {(⟶)∧(⟶)∧[(∧)⟶]∧(∧)}⟶ p

q

r

s

t

v

v

v

v

v

{( v

)( v

) ( v

)

( v

) {(

) ( v

) [(

v

)

] {(

) ( v

) [(

v

v

v

v

f

v

v

v

v

v

v

v

v

v

f

v

v

f

f

v

f

f

v

v

v

f

f

v

f

f

v

f

v

v

f

v

v

v

v

v

f

v

v

f

v

f

v

v

v

v

v

f

f

v

v

v

f

v

v

f

f

f

v

v

v

f

v

v

v

f

v

f

v

v

f

v

f

v

f

v

v

f

v

f

v

f

f

v

f

v

)

]

)}

{(

) (

) [(

)

v

v

v

f

v

f

v

v

f

f

f

v

v

v

v

f

v

f

v

v

v

f

v

f

v

v

v

f

v

f

f

v

v

v

v

f

v

f

v

v

f

f

v

v

f

v

f

v

v

f

f

v

v

f

f

f

v

v

f

f

v

v

f

f

f

f

v

v

f

f

v

v

v

v

f

v

f

f

v

f

f

f

v

f

v

f

f

f

f

f

v

f

f

v

v

f

f

f

v

f

v

f

f

v

f

f

f

v

v

f

f

f

f

f

v

f

f

f

f

f

v

v

f

v

v

v

v

v

v

v

f

v

v

v

f

v

f

v

v

v

f

v

v

v

f

v

v

v

v

v

f

v

v

f

v

v

f

f

f

f

f

f

v

v

f

v

v

f

f

v

f

f

f

f

f

f

v

v

f

v

f

v

v

v

v

v

f

v

v

v

v

v

f

v

f

v

f

v

v

v

f

v

v

v

v

v

f

v

f

f

v

v

v

f

f

v

v

v

v

v

f

v

f

f

f

v

v

f

f

v

v

v

v

v

f

f

v

v

v

v

v

f

f

v

v

v

v

v

f

f

v

v

f

v

v

f

f

v

v

v

v

v

f

f

v

f

v

v

f

f

f

f

f

f

v

v

f

f

v

f

f

v

f

f

f

f

f

f

v

v

f

f

f

v

v

v

v

f

f

v

f

f

v

v

f

f

f

v

f

v

v

f

f

v

v

v

v

v

f

f

f

f

v

v

v

f

f

v

v

v

v

v

f

f

f

f

f

v

v

f

f

v

v

v

v

v

En lenguaje del simulador ((p>q)&(r>s)&((q&s)>t)&(p&q))>t

] (

 

)}



Comprobar el resultado de la tabla de verdad manual versus simulador Truth Table. Los resultados arrojados por la tabla de la verdad y en el simulador Truth Table si coinciden.



Definir si el argumento es una Tautología, contradicción o contingencia.

El argumento es una Contingencia. Ya que encontramos en los componentes simple una Falsa. Lo que quiere decir que es un afrgmento Invalido.