Académique Documents
Professionnel 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
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
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.
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
Objetivos
Introduccin
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
Proceso operativo de la
resolucin
de
la
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
PREZI,
de
la
conceptualizacin o un
ejemplo
de
lo
seleccionado,
evidenciando en el EPortafolio el enlace de
acceso.
Las
terminologas
del
lgebra de Boole son:
Demostraciones
Directas
e
Indirectas.
Demostracin por Contraposicin.
Demostracin por Contradiccin
(Reduccin al Absurdo).
Demostracin por Contraejemplo.
Demostracin por el Principio de
Induccin Matemtica.
o
o
o
o
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
Segunda etapa:
Socializar la conceptualizacin y
mnimo tres ejemplos de alguna de
las terminologas de las leyes de
inferencia lgica (slo selecciona una
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:
o
o
o
o
o
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
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.
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.
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
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
Mxim
o
puntaj
e
20
(Puntos = 0)
significativo
con
relacin al concepto y
a
ejemplos
explicativos
de
la
terminologa
seleccionada.
(Puntos = 10)
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
concepto y ejemplos
explicativos de las
Leyes de Inferencia
Lgica.
(Puntos = 0)
El
estudiante
seleccion una de las
cinco terminologas de
las Leyes de Inferencia
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 las
Leyes de Inferencia
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)
Fase
Individual
2. Conceptualizacin
y ejemplarizacin
de las Leyes de
Inferencia
20
3. Aporte individual
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
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 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
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
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.
35
inferencia lgica, o no
realiz la demostracin
con dichas leyes.
(Puntos = 20)
4. Uso del simulador
TRUTH en la
situacin
problmica de la
Fase Individual
5. Conceptualizacin
y ejemplos de la
terminologa del
lgebra de Boole
Fase
Grupal
(Puntos = 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)
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
generada de manera
procedimental.
(Puntos = 2)
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
generada de manera
procedimental.
(Puntos = 5)
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.
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
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
(Puntos = 0)
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
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)
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)
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
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
18
demostracin de la
validez
de
un
razonamiento lgico
como
desarrollo
grupal.
(Puntos = 0)
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
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)
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 uso
correcto
de
los
conectores lgicos. El
grupo colaborativo hizo
entrega de los aportes
con el uso de las Leyes
de inferencia Lgica.
(Puntos = 20)
20
8. Uso de Normas
APA
Estructura
y
presentaci
n del
document
o como
producto
final.
Puntualid
ad
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 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)
El documento dela
actividad
de
Paso
Tres no est diseado
con Normas APA. Las
referencias
de
bibliografa
y
cibergrafa, o no se
generaron, o
no
cumplen
con
las
Normas APA.
(Puntos = 0)
El
documento
dela
actividad de Paso Tres
presenta un diseo
parcial con relacin a
las Normas APA. Las
referencias
de
bibliografa
y
cibergrafa
no
cumplen
adecuadamente
con
las Normas APA.
(Puntos = 2)
El
documento
dela
actividad de Paso Tres
est
diseado
adecuadamente
con
Normas
APA.
Las
referencias
de
bibliografa
y
cibergrafa cumplen con
las Normas APA.
(Puntos = 4)
9. Formato del
archivo, nombre
del archivo y
puntualidad en
entrega
130