Professional Documents
Culture Documents
Con esta actividad se busca que el estudiante identifique y utilice en forma clara las reglas de inferencia lgica por induccin y
deduccin en formulaciones y demostraciones de razonamientos vlidos en situaciones especficas.
Objetivos Especficos:
Conceptualizar los procesos de demostracin lgica y clasificarlos en directas e indirectas.
Identificar y conceptualizar los diferentes tipos de leyes de inferencia lgica y sus respectivas representaciones en las
tablas de verdad.
Interpretar un enunciado tipo argumento de una situacin problmica del mundo real y demostrar su validez a travs
de las tablas de verdad y de las leyes de inferencia.
Temticas a desarrollar:
Proposiciones simples y compuestas, tablas de verdad, mtodos de demostracin, razonamientos lgicos, inferencia lgica y
argumentos lgicos.
Nmero de semanas:
Fecha:
Momento de evaluacin:
Cuatro (4)
Intermedio
Tipo de Actividad:
Puntaje mximo:
Colaborativa
Entorno de Seguimiento y Evaluacin
Fase de la estrategia:
Paso 3 Uso de las Reglas de Inferencia
Actividad Individual
Esta fase individual consiste en
aplicar los pasos que implican el
desarrollo
de
aportes
propios
respecto al aprendizaje basado en
problemas (ABP). El estudiante debe
revisar las diferentes referencias
bibliogrficas
del
Entorno
de
Conocimiento y tambin ampliar y
profundizar su conceptualizacin en
libros, artculos fsicos o en la web
que de manera autnoma pueda
consultar
y
autogestionar
los
conceptos
y
procedimientos
operativos necesarios para llegar a la
solucin de los problemas. Deben
Productos
acadmicos de la
actividad individual
Cada
estudiante
entregar un documento
en Word en el Entorno de
Aprendizaje Colaborativo,
en el Foro de Interaccin
y Produccin del Paso
Tres
el
cual
debe
contener el desarrollo de
las
actividades
propuestas. El contenido
debe ser el siguiente:
-
Portada
Objetivos
Introduccin
130 puntos
Actividad
Colaborativa
La
fase
grupal
corresponde
a
la
produccin intelectual
que
como
grupo
lleguen a consolidar.
Deben tener presente
que la fecha mxima
para
evidenciar
la
produccin grupal es
el
Lunes
28
de
Noviembre
a
las
23:55 horas.
La Fase Grupal est
Productos acadmicos
de la actividad
colaborativa
El
grupo
de
trabajo
colaborativo debe hacer
entrega
de
un
nico
documento en PDF en el
Entorno de Seguimiento y
Evaluacin
con
el
desarrollo del problema de
la
Fase
Grupal.
El
documento debe contener:
-
Portada
Objetivos
Introduccin
Proceso operativo de la
resolucin
de
la
Conceptualizacin de
uno de los tipos de
demostracin
lgica
seleccionada
Conceptualizacin de
una
de
las
terminologas de las
leyes de inferencia
seleccionada
Proceso operativo
a
travs de la tabla de
verdad
y
de
la
aplicabilidad de las
leyes de inferencia de
la
resolucin
y
demostracin de la
validez del enunciado
problmico
tipo
argumento que haya
seleccionado, con el
respectivo pantallaso
como evidencia de la
comprobacin a travs
del simulador TRUTH
Conclusiones
Bibliografa
comprendida
etapas:
en
dos
Primera etapa:
Consiste
en
la
participacin
significativa de cada
integrante en el EPortafolio
(este
recurso lo encuentran
en el entorno de
Seguimiento
y
Evaluacin). Para este
aporte,
cada
estudiante
escoger
una
de
las
terminologas
del
lgebra
de
Boole
(publicar en el Foro
de
Interaccin
y
Produccin
la
terminologa
seleccionada
para
evitar
que
otro
integrante
la
seleccione) y realizar
una
pequea
presentacin
en
PREZI,
de
la
conceptualizacin o un
ejemplo
de
lo
seleccionado,
situacin problmica de
Inferencia
Lgica
planteada
para
desarrollar de forma
grupal,
con
el
respectivo
pantallaso
de la comprobacin con
el uso del simulador
TRUTH.
Conclusiones
Bibliografa
interpretacin al enunciado. As se
puede argumentar la estructura,
planteamiento del problema y la
resolucin de cada situacin.
Las etapas son las siguientes:
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:
o
o
o
o
o
o
Demostraciones
Directas
e
Indirectas.
Demostracin por Contraposicin.
Demostracin por Contradiccin
(Reduccin al Absurdo).
Demostracin por Contraejemplo.
Demostracin por el Principio de
Induccin Matemtica.
Segunda etapa:
Socializar la conceptualizacin y
mnimo tres ejemplos de alguna de
las terminologas de las leyes de
inferencia lgica (slo selecciona una
Definicin
y
ejemplos
del
lgebra
de
Boole.
Teoremas
del
lgebra
de
Boole.
Principio en la
dualidad
del
lgebra
de
Boole.
Compuertas
Lgicas.
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
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.
ANEXO 1
SITUACIONES PROBLMICAS DE LA INFERENCIA LGICA FASE INDIVIDUAL
1. 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.
2. Soy un gran aficionado al ftbol y mi equipo ha pasado a disputar la final del torneo y algo que he aprndido es que
en 90 minutos del juego se viven y se sienten muchas emociones, hay minutos de intensa alegra otros minutos
de ansiedad, otros de tristeza, en fin el ftbol es una pasin que genera toda una gama de sensaciones. Hoy es el
da del partido de la final y voy a narrar lo que viv en el transcurrir de los 90 minutos: Si mi equipo gana yo me
pongo contento. Si mi equipo pierde me pongo triste. En este momento mi equipo est ganando o est perdiendo.
Por consiguiente, estoy contento o triste. Comprobar la validez del razonamiento que he hecho frente a las
emociones que viv en el partido de la final, hacerlo a travs de las dos maneras con la tabla de verdad y con el
uso de las leyes de inferencia.
3. Desde muy joven empec a trabajar para poder buscar tener una buena calidad de vida, pero siempre me fue
complicado poder ingresar a hacer mis estudios superiores; hoy en da afortunadamente la UNAD ofrece una
excelente oportunidad de formacin acadmica para quienes tenemos una vida laboral muy densa, pues la
virtualidad, aunque demanda de disciplina y adecuados hbitos de estudio, nos permite contar con las 24 horas
del da, los siete das de la semana para ingresar a realizar las actividades segn las fechas lmites establecidas;
esto es algo que me ha alegrado mucho y le hice el siguiente comentario a mis amigos, para que se motiven e
ingresen a estudiar en la UNAD: He ingresado a estudiar administracin en Salud y lograr materializar mi
proyecto de vida. Si he ingresado a estudiar en la UNAD Administracin en Salud, entonces conseguir un mejor
estatus laboral. Por lo tanto, conseguir un mejor estatus laboral y lograr materializar mi proyecto de vida. Por
medio de los diferentes mtodos de demostracin con las tablas de verdad y el uso de las leyes de inferencia,
determinar si mi razonamiento es vlido.
4. En un colegio de la ciudad se est buscando brindar un premio al estudiante con el mejor promedio acadmico;
para lo cual se quiere exonerar a dicho estudiante de los exmenes finales. Es as que en la reunin acadmica se
hace el siguiente anlisis: Si Jaime posee un promedio ms alto que Pablo, entonces Martha posee un promedio
ms bajo que Aura. Martha no tiene un nivel acadmico ms bajo que Aura. Si Jaime y Lina tienen el mismo
promedio, entonces Jaime est con un promedio ms alto que Pablo. Por consiguiente Jaime y Lina no tienen el
mismo promedio. Con el uso de las dos maneras de la tabla de verdad y con el uso de las leyes de inferencia
comprobar la validez del razonamiento hecho.
5. Un grupo de estudiantes de Licenciatura en Pedagoga Infantil de la UNAD han iniciado un trabajo de campo con
algunos nios de un Jardn Infantil, para generar estrategias en cuanto al proceso del aprendizaje de lectura,
siendo muy importante la edad cronolgica en los nios para el fortalecimiento de dicho proceso de aprendizaje.
Ruth es la docente que lidera el trabajo de campo de los estudiantes y les comenta lo siguiente: si Teresa tiene
cuatro aos de edad, entonces Teresa posee los mismos aos de vida que Juliana. Si Jacinto tiene una edad
diferente que Teresa, entonces Jacinto posee una edad diferente que Juliana. Teresa tiene cuatro aos y Jacinto
tiene la misma edad que Juliana. Por consiguiente, Jacinto posee la misma edad que Teresa y Teresa la mimsa
edad que Juliana. Por favor determnar si el razonamiento hecho por Ruth es vlido, segn el proceso de
demostracin por medio de tablas de verdad y del uso de las leyes de inferencia.
ANEXO 2
SITUACIN PROBLMICA DE LA INFERENCIA LGICA FASE GRUPAL
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.
Fase de
la
actividad
Item evaluado
Valoracin baja
Valoracin media
Valoracin alta
1. Conceptualizacin
de la terminologa
de los tipos de
Demostracin
Lgica
El estudiante nunca
evidenci
aporte
alguno en el Foro de
Interaccin
y
Produccin del Paso
Tres con relacin al
concepto y ejemplos
explicativos
de
la
terminologa de los
tipos de Demostracin
Lgica.
(Puntos = 0)
El
estudiante
seleccion una de las
cinco terminologas de
los
tipos
de
Demostracin Lgica,
publicando
dicha
seleccin en el Foro de
Interaccin
y
Produccin del Paso
Tres. Pero su aporte
fue
parcialmente
significativo
con
relacin al concepto y
a ejemplos explicativos
de
la
terminologa
seleccionada.
(Puntos = 10)
El estudiante seleccion
una
de
las
cinco
terminologas de los
tipos de Demostracin
Lgica,
publicando
dicha seleccin en el
Foro de Interaccin y
Produccin del Paso
Tres. Su aporte fue
muy significativo con
relacin al concepto y a
ejemplos
explicativos
de
la
terminologa
seleccionada;
evidencindose
una
propia
produccin
y
redaccin
en
la
produccin
intelectual
socializada.
(Puntos = 20)
El estudiante nunca
evidenci
aporte
alguno en el Foro de
Interaccin
y
Produccin del Paso
Tres con relacin al
El
estudiante
seleccion una de las
cinco terminologas de
las Leyes de Inferencia
Lgica,
publicando
dicha seleccin en el
El estudiante seleccion
una
de
las
cinco
terminologas de las
Leyes
de
Inferencia
Lgica,
publicando
dicha seleccin en el
Fase
Individual
2. Conceptualizacin
y ejemplarizacin
de las Leyes de
Inferencia
Mximo
puntaje
20
3. Aporte individual
sobre el
planteamiento y
resolucin de
situaciones
problmicas de la
demostracin de la
validez de un
razonamiento
concepto y ejemplos
explicativos de las
Leyes de Inferencia
Lgica.
(Puntos = 0)
Foro de Interaccin y
Produccin del Paso
Tres. Pero su aporte
fue
parcialmente
significativo
con
relacin al concepto y
a ejemplos explicativos
de
la
terminologa
seleccionada.
(Puntos = 10)
Foro de Interaccin y
Produccin del Paso
Tres. Su aporte fue
muy significativo con
relacin al concepto y a
ejemplos
explicativos
de
la
terminologa
seleccionada;
evidencindose
una
propia
produccin
y
redaccin
en
la
produccin
intelectual
socializada.
(Puntos = 20)
El estudiante nunca
evidenci
aporte
alguno en el Foro de
Interaccin
y
Produccin del Paso
Tres con relacin al
desarrollo
procedimental
y
operativo
de
la
demostracin de la
validez de una de las
situaciones
problmicas
dadas
sobre razonamientos
lgicos.
(Puntos = 0)
El
estudiante
seleccion una de las
cinco
situaciones
problmicas
de
razonamientos lgicos,
publicando
dicha
seleccin en el Foro de
Interaccin
y
Produccin del Paso
Tres.
Pero
su
desarrollo
procedimental
fue
parcialmente
adecuado; ya que, se
evidencian errores en
la determinacin de las
El estudiante seleccion
una
de
las
cinco
situaciones problmicas
de
razonamientos
lgicos,
publicando
dicha seleccin en el
Foro de Interaccin y
Produccin del Paso
Tres.
El
desarrollo
procedimental
fue
adecuado; ya que, se
evidencia asertividad en
la determinacin de las
premisas
y
en
la
expresin simblica del
lenguaje formal, y en
20
35
El
estudiante
no
adjunt
en
el
documento
el
pantallaso
que
evidencie el uso del
simulador
TRUTH
como
comprobacin
de la tabla de verdad
generada
en
la
situacin problmica
seleccionada.
(Puntos = 0)
premisas
o
en
la
expresin simblica del
lenguaje formal, y en
los
criterios
de
verdadero
o
falso
consignados en la tabla
de verdad por un uso
errneo
de
los
conectores
lgicos
como
mtodo
de
demostracin de
la
validez. O el estudiante
hizo entrega equvoca
del uso de las leyes de
inferencia lgica, o no
realiz la demostracin
con dichas leyes.
(Puntos = 20)
los
criterios
de
verdadero
o
falso
consignados en la tabla
de verdad con un uso
correcto
de
los
conectores lgicos como
mtodo
de
demostracin
de
la
validez. El estudiante
hizo entrega del uso de
las leyes de inferencia
lgica para demostrar la
validez
del
razonamiento
seleccionado.
(Puntos = 35)
El estudiante adjunt
en el documento el
pantallaso
que
evidencie el uso del
simulador TRUTH como
comprobacin de la
tabla
de
verdad
generada
en
la
situacin
problmica
seleccionada; pero el
resultado obtenido no
coincide
con
el
resultado de la tabla
El estudiante adjunt
en el documento el
pantallaso
que
evidencie el uso del
simulador TRUTH como
comprobacin
de
la
tabla
de
verdad
generada
en
la
situacin
problmica
seleccionada;
el
resultado
obtenido
coincide
con
el
resultado de la tabla
El estudiante nunca
evidenci
participacin
alguna
en el E-Portafolio del
Curso con relacin a
la conceptualizacin y
ejemplarizacin de la
terminologa
del
lgebra de Boole.
(Puntos = 0)
El
estudiante
seleccion una de las
cinco terminologas del
lgebra
de
Boole,
publicando
dicha
seleccin en el Foro de
Interaccin
y
Produccin del Paso
Tres.
Pero
su
participacin en el EPortafolio
con
la
presentacin en Prezi
fue
parcialmente
adecuada; ya que, se
evidencia
en
la
presentacin
hecha,
una produccin poco
representativa de la
terminologa
del
lgebra
de
Boole
seleccionada, sin una
conceptualizacin
clara; y los ejemplos
explicativos o no son
pertinentes, o no se
generaron.
(Puntos = 9)
El estudiante seleccion
una
de
las
cinco
terminologas
del
lgebra
de
Boole,
publicando
dicha
seleccin en el Foro de
Interaccin
y
Produccin del Paso
Tres. Su participacin
en el E-Portafolio con la
presentacin en Prezi
fue adecuada; ya que,
se evidencia en la
presentacin
hecha,
una produccin muy
representativa de la
propiedad seleccionada,
siendo
correcta
la
conceptualizacin y los
ejemplos
explicativos
son pertinentes para
dicho fin.
(Puntos = 18)
18
6. Aporte grupal
sobre el
planteamiento y
resolucin de
situaciones
problmicas de la
demostracin de la
validez de un
razonamiento
El estudiante nunca
evidenci
aporte
alguno en el Foro de
Interaccin
y
Produccin del Paso
Tres con relacin al
desarrollo
procedimental
y
operativo
de
la
situacin problmica
dada
sobre
la
demostracin de la
validez
de
un
razonamiento
lgico
como
desarrollo
grupal.
(Puntos = 0)
El estudiante mostr
poca interaccin con
sus compaeros de
equipo
de trabajo
colaborativo
con
relacin a la situacin
problmica
sobre
demostracin de
la
validez
de
un
razonamiento
lgico
estipulada
como
actividad
grupal,
publicando en el Foro
de
Interaccin
y
Produccin del Paso
Tres
aportes
pocos
significativos para la
consolidacin de las
respuestas buscadas.
El
desarrollo
procedimental
fue
parcialmente
adecuado; ya que se
evidencian errores en
la determinacin de las
premisas
o
en
la
expresin simblica del
lenguaje formal y en
los
criterios
de
verdadero
o
falso
El estudiante mostr
poca interaccin con
sus
compaeros
de
equipo
de trabajo
colaborativo
con
relacin a la situacin
problmica
sobre
demostracin
de
la
validez
de
un
razonamiento
lgico
estipulada
como
actividad
grupal,
publicando en el Foro
de
Interaccin
y
Produccin del Paso
Tres
aportes
muy
significativos para la
consolidacin de las
respuestas buscadas. El
desarrollo
procedimental
fue
adecuado; ya que se
evidencia asertividad en
la determinacin de las
premisas
y
en
la
expresin simblica del
lenguaje formal y en los
criterios de verdadero o
falso consignados en la
tabla de verdad por un
20
8. Uso de Normas
El grupo colaborativo
no adjunt en el
documento
el
pantallaso
que
evidencie el uso del
simulador
TRUTH
como
comprobacin
de la tabla de verdad
generada
en
la
situacin problmica
seleccionada.
(Puntos = 0)
El
documento
consignados en la tabla
de verdad por un uso
errneo
de
los
conectores lgicos. O
el grupo colaborativo
hizo entrega de los
aportes sin el uso de
las Leyes de inferencia
Lgica, o hubo una
mala aplicabilidad de
dichas leyes.
(Puntos = 10)
El grupo colaborativo
adjunt
en
el
documento
el
pantallaso
que
evidencie el uso del
simulador TRUTH como
comprobacin de la
tabla
de
verdad
generada
en
la
situacin problmica;
pero
el
resultado
obtenido no coincide
con el resultado de la
tabla
generada
de
manera procedimental.
(Puntos = 3)
El grupo colaborativo
adjunt
en
el
documento
el
pantallaso
que
evidencie el uso del
simulador TRUTH como
comprobacin
de
la
tabla
de
verdad
generada
en
la
situacin problmica; el
resultado
obtenido
coincide
con
el
resultado de la tabla
generada de manera
procedimental.
(Puntos = 5)
dela El
documento
dela El
documento
dela
APA
Estructura
y
presentaci
n del
document
o como
producto
final.
Puntualida
d
9. Formato del
archivo, nombre
del archivo y
puntualidad en
entrega
de entrega; no hubo
puntualidad
en
la
entrega delos aporte
de acuerdo a ste
lineamiento.
(Puntos = 0)
entrega;
no
hubo que si hubo puntualidad
puntualidad,
en
la en la entrega delos
entrega delos aportes aportes de acuerdo a
de acuerdo a ste ste lineamiento.
lineamiento.
(Puntos = 3)
(Puntos = 1)
MXIMO PUNTAJE POSIBLE
130