1.

Primera etapa: Socializar la conceptualizacin y mnimo tres ejemplos de

alguna de las terminologas de los diferentes tipos de Demostracin en
la Lgica Matemtica (slo selecciona una e informa en el foro cual
escogi, para que no sea escogido por otro integrante), la terminologa
es la siguiente :
Demostracin por Contraejemplo.

2. Segunda etapa: Socializar la conceptualizacin y mnimo tres ejemplos

de alguna de las terminologas de las leyes de inferencia lgica (slo
selecciona una evidenciando en el E - Portafolio el enlace de acceso. Las
terminologas del lgebra de Boole son: o Definicin y ejemplos del
lgebra de Boole. o Teoremas del lgebra de Boole. o Principio en la
dualidad del lgebra de Boole. o Compuertas Lgicas. o Aplicaciones en
el mundo real del lgebra de Boole. Segunda etapa: Consiste en la
interaccin acadmica de los integrantes del grupo en el cual realicen la
interpretacin, el e informa en el foro cual escogi, para que no sea
escogido por otro integrante), la terminologa de las leyes de inferencia
es la siguiente :
Simplificacin y Ley de la conjuncin.

3. Tercera etapa: Planteamiento y resolucin (utilizando las operaciones

necesarias de las tablas de verdad ) y la aplicabilidad de las leyes de
inferencia lgica de uno de los problemas de enunciados tipo argumento
del ANEXO 1; adems adjuntar un pantallaso de la comprobacin de la
tabla de verdad con el simulador TRUTH dicho simulador est dispuesto
en el entorno de Aprendizaje Prctico. En el foro de Interaccin y
Produccin encontrar un link que le permitir descargar un PDF con un
ejemplo de cmo realizar el proceso de demostracin de la validez del
planteamiento y la solucin del enunciado problmico de la
demostracin de la validez de un argumento lgico del ANEXO 2 y hacer
uso del simulador TRUTH para comprobar la respectiva tabla de verdad.
argumento con el uso de la tabla de verdad.. (recuerde slo seleccionar
uno e informar en el foro el seleccionado para que no sea escogido por
otro integrante).
En la ciudad de Pereira se ha creado un buffet de abogados
entre cuatro amigos, del cual Juan Arroyo y Mara Aguirre hacen
parte; en cierta ocasin se gener una discordia laboral por
diferentes puntos de vista en el proceso de acompaamiento
legal a una persona sindicada de varios delitos; Juan ha asumido
la defensa de Alberto quien es la fuente de discordia con Mara.
Mara ha decidido tomar acciones radicales frente a lo ocurrido
con Juan: Si el cliente de Juan gana la apelacin, entonces
Mara se retira del buffet de abogados. Mara se retira del buffet
de abogados si y slo si Alberto el cliente de Juan no es llevado a
prisin. Por lo tanto, si el cliente de Juan gana la apelacin,
 entonces no es llevado a prisin. Determinar cone luso de las
dos formas de la tabla de verdad la validez del razonamiento
que hace Mara y hacerlo tambin con el uso de las leyes de
inferencia.

4. Consiste en la interaccin acadmica de los integrantes del grupo en el

cual realicen la interpretacin, el planteamiento y la solucin del
enunciado problmico de la demostracin de la validez de un argumento
lgico del ANEXO 2 y hacer uso del simulador TRUTH para comprobar la
respectiva tabla de verdad.
La Escuela de ciencias Bsicas Tecnologas e Ingenieras ECBTI
de la UNAD realiz como evento disciplinar unas Olimpiadas
Matemticas Virtuales. El Lder Nacional de la Escuela le ha
informado al decano Nacional de Escuela como fue la
premiacin, el primer lugar recibir un computador porttil, el
segundo lugar recibir una Tablet y el tercer lugar recibir una
coleccin de libros de matemticas Schaun; para dicho fin el
lder Nacional hizo el siguiente razonamiento: Si Ximena se
gan el computador entonces Johan recibi la Tablet o Ricardo
fue quien recibi la Tablet. Si Ximena fue quien recibi la Tablet,
entonces Ximena no obtuvo como premio el computador. Si
Carlos fue quien recibi la Tablet entonces Ricardo no fue quien
recibi la Tablet. Ximena se gan el computador. Por lo tanto,
carlos no fue quien recibi la Tablet.

Te envo el link en donde se encuentra el simulador TRUTH

http://turner.faculty.swau.edu/mathematics/materialslibrary/trut
h/