Logicomatematico
Logicomatematico
Logicomatematico
1. Descripción de la actividad
1
Esto quiere decir que el estudiante realizará todos los ejercicios A de
esta guía.
Actividades a desarrollar
La tarea de esta unidad se compone de una serie de ejercicios que se
describen a continuación:
2
Descripción del ejercicio:
A continuación, encontrará las proposiciones simples para el desarrollo
del ejercicio 1:
[(¬𝒑 ∧ 𝒓) ∧ (𝒑 ∧ 𝒒)]
[(𝒑 ∧ 𝒒) ∧ (𝒑 → 𝒓)] ⟶ (𝒓 ∧ 𝒒)
(𝒑 ∧ 𝒒) → (𝒑 → 𝒓)
3
r: Las empresas de servicio público pagan el valor de multas
[(𝒑 ∨ 𝒒) ↔ 𝒓]
(𝒑 ∨ 𝒒) → (𝒒 ∧ ¬𝒓)
4
mostrar a la cámara su carnet estudiantil, ocultando el número del
mismo (En la imagen se debe ver claramente el nombre y apellidos
del estudiante).
Deberá subir el link del vídeo a youtube u otra plataforma de
vídeos y pegar el enlace debajo de la solución del ejercicio en el
documento final a entregar. El vídeo no debe superar los 3
minutos de duración.
Condiciones de entrega:
• Nombre el archivo de su aporte de la siguiente manera: ejercicio
1 unidad 1_nombre del estudiante.
• Presentar el desarrollo de los ítems en un documento en Word en
el foro de la tarea que se encuentra en el Entorno de Aprendizaje.
Nota
En el anexo 1 (Guía para el desarrollo de la tarea 1), se establece
un ejemplo modelo a seguir para dar respuesta a los ítems planteados.
En el anexo 2 (Simulador Lógica UNAD), encontrará las pautas para
ingresar y usar correctamente el simulador Lógica UNAD.
5
• Villalpando, B. J. F. (2014). Matemáticas discretas: aplicaciones y
ejercicios. (pp. 19-39). México, D.F, Larousse - Grupo Editorial
Patria.
• Pérez, A. R. (2013). Una introducción a las matemáticas discretas
y teoría de grafos. Córdoba, AR: El Cid Editor. (pp. 40-49).
A. Expresión simbólica
pvq r∧ 𝑠 p→q
¬q p
p r q
B. Expresión simbólica
p→q a m→n
q→r b ¬n
p→r a∧ b ¬m
C. Expresión simbólica
r→s pvq a∧ b
r ¬p
s q b
6
D. Expresión simbólica
¬d r→q a→b
e ¬q b→c
¬d ∧ e ¬r a→c
E. Expresión simbólica
g∧h p→s s
p r
g s s∧ r
7
Condiciones de entrega:
• Nombre el archivo de su aporte de la siguiente manera: ejercicio
2 unidad 1_nombre del estudiante.
• Presentar el desarrollo de los ítems en un documento en Word en
el foro de la tarea que se encuentra en el Entorno de Aprendizaje.
Nota
En el anexo 1, se establece un ejemplo modelo a seguir para dar
respuesta a los ítems planteados.
8
A continuación, encontrará los argumentos para el desarrollo del
ejercicio 3:
9
considerablemente, entonces disminuye la posibilidad de contagio
al evitar aglomeraciones.
a. Conclusión: ____________________________________
b. Ley de inferencia aplicada: ________________________
c. Lenguaje simbólico: ______________________________
Condiciones de entrega:
• Nombre el archivo de su aporte de la siguiente manera: ejercicio
3 unidad 1_nombre del estudiante
10
• Presentar el desarrollo de los ítems en un documento en Word en
el foro de la tarea que se encuentra en el Entorno de Aprendizaje.
Nota
En el anexo 1, se establece un ejemplo modelo a seguir para dar
respuesta a los ítems planteados.
Premisas:
P1: 𝒑 ∧ 𝒒
11
P2: 𝒑 → 𝒓
Conclusión: 𝒓 ∧ 𝒒
Premisas:
P1: (𝑝 ∧ 𝒓)
P2: (𝒒 ∨ ¬𝒓)
P3: (𝑝 → 𝑞)
Conclusión: 𝑞
Premisas:
P1: (𝒑 ⟶ 𝒒)
P2: (𝒒 ⟶ 𝒓)
P3:( ¬ 𝒓)
Conclusión: ( ¬ 𝒑)
D. Expresión simbólica: { [ 𝒑 ⟶ (𝒒 ∧ 𝒓) ] ∧ 𝒑} ⟶ 𝒓
Premisas:
P1: [ 𝒑 ⟶ (𝒒 ∧ 𝒓) ]
P2: 𝒑
Conclusión: 𝒓
E. Expresión simbólica:
{ [ (𝒑 ∨ 𝒒) ⟶ 𝒓 ] ∧ (𝒑 ∨ 𝒒)} ⟶ 𝒓
Premisas:
P1: [ (𝒑 ∨ 𝒒) ⟶ 𝒓 ]
P2: (𝒑 ∨ 𝒒)
12
Conclusión: 𝒓
Condiciones de entrega:
• Nombre el archivo de su aporte de la siguiente manera: ejercicio
4 unidad 1_nombre del estudiante
13
• Presentar el desarrollo de los ítems en un documento en Word en
el foro de la tarea que se encuentra en el Entorno de Aprendizaje.
Nota
En el anexo 1, se establece un ejemplo modelo a seguir para dar
respuesta a los ítems planteados.
En el anexo 2, encontrará las pautas para ingresar y usar correctamente
el simulador Lógica UNAD.
Evidencias individuales:
Las evidencias individuales para entregar son:
14
en las condiciones de entrega, en foro habilitado para el
desarrollo de la tarea en el entorno de aprendizaje.
• En el Entorno de Evaluación - Tarea 1 Métodos para probar la
validez de argumentos, subir un único archivo en formato WORD
el cual debe nombrarse
numerogrupo_tarea_1_nombreapellidoestudiante, ejemplo:
200611_234_Tarea_1_Sofía Rodríguez y debe contener:
➢ Portada.
➢ Introducción al trabajo que van entregar, no la introducción del
curso
➢ Objetivos.
➢ Desarrollo de los 4 ejercicios.
➢ Conclusiones del trabajo desarrollado
➢ Referencias Bibliográficas teniendo en cuenta las normas APA
Evidencias grupales:
En esta actividad no se requieren evidencias grupales.
15
2. Lineamientos generales para la elaboración de las evidencias
a entregar.
16
escritos mediante la herramienta Turnitin que encuentra en el campus
virtual.
17
3. Formato de Rúbrica de evaluación
18
Generación de Tablas Si su trabajo se encuentra en este nivel puede obtener
de verdad de forma entre 4 puntos y 5 puntos
manual.
Nivel Medio: El estudiante genera adecuadamente una tabla de
verdad, pero no corresponde con el lenguaje simbólico del argumento
Este criterio
o comete errores en la definición del resultado final de la tabla de
representa 5 verdad.
puntos del total Si su trabajo se encuentra en este nivel puede obtener
de 100 puntos de entre 1 puntos y 3 puntos
la actividad
Nivel bajo: El estudiante no genera adecuadamente la tabla de
verdad de forma manual.
Si su trabajo se encuentra en este nivel puede obtener 0
puntos
Nivel alto: El estudiante presenta el enlace del vídeo, con una
explicación correcta del ejercicio de proposiciones y tablas de verdad
y demuestra una adecuada comprensión y aplicación
de la lógica proposicional en la solución de problemas debidamente
Cuarto criterio de contextualizados
evaluación: Si su trabajo se encuentra en este nivel puede obtener
entre 15 puntos y 20 puntos
Presentación de vídeo
explicativo del Nivel Medio: El estudiante presenta el enlace del vídeo, pero da
ejercicio 1. explicación incorrecta del ejercicio de proposiciones y tablas de
verdad y demuestra una comprensión parcial de la aplicación de la
Este criterio lógica proposicional en la solución de problemas debidamente
representa 20 contextualizados
puntos del total
de 100 puntos de Si su trabajo se encuentra en este nivel puede obtener
la actividad entre 1 puntos y 14 puntos
19
Este criterio Nivel Medio: El estudiante identifica de forma incorrecta la ley de
representa 7 inferencia aplicada en el argumento
puntos del total Si su trabajo se encuentra en este nivel puede obtener
de 100 puntos de entre 1 puntos y 4 puntos
la actividad
Nivel bajo: El estudiante no identifica de forma correcta la ley de
inferencia aplicada en el argumento
Si su trabajo se encuentra en este nivel puede obtener 0
puntos
Nivel alto: El estudiante construye de forma correcta el lenguaje
natural a partir del lenguaje simbólico dado, utilizando de forma
Sexto criterio de
adecuada las proposiciones simples y los conectores lógicos.
evaluación:
Si su trabajo se encuentra en este nivel puede obtener
entre 4 puntos y 6 puntos
Construcción de
lenguaje natural de un
argumento Nivel Medio: El estudiante construye parcialmente el lenguaje
natural a partir del lenguaje simbólico dado o comete algunos errores
en la utilización las proposiciones simples y/o los conectores lógicos.
Este criterio
Si su trabajo se encuentra en este nivel puede obtener
representa 6
entre 1 puntos y 3 puntos
puntos del total
de 100 puntos de
Nivel bajo: El estudiante no construye de forma correcta el lenguaje
la actividad
natural.
Si su trabajo se encuentra en este nivel puede obtener 0
puntos
Nivel alto: El estudiante identifica de forma correcta la conclusión
Séptimo criterio del argumento a partir del uso adecuado de las leyes de inferencia.
de evaluación: Si su trabajo se encuentra en este nivel puede obtener
entre 4 puntos y 5 puntos
Identificación de
conclusiones a partir Nivel Medio: El estudiante comete errores al identificar la
del uso adecuado de conclusión del argumento a partir del uso adecuado de las leyes de
las leyes de inferencia inferencia.
Si su trabajo se encuentra en este nivel puede obtener
Este criterio entre 1 puntos y 3 puntos
representa 5
puntos del total Nivel bajo: El estudiante no identifica de forma correcta la
de 100 puntos de conclusión del argumento a partir del uso adecuado de las leyes de
la actividad inferencia.
Si su trabajo se encuentra en este nivel puede obtener 0
puntos
20
Octavo criterio de Nivel alto: El estudiante identifica la regla de inferencia que se
evaluación: aplica para probar la validez del argumento
Si su trabajo se encuentra en este nivel puede obtener
Aplicación de las leyes entre 4 puntos y 5 puntos
de inferencia para
probar validez de Nivel Medio: El estudiante identifica de forma incorrecta la regla de
argumentos. inferencia que se aplica para probar la validez del argumento
Si su trabajo se encuentra en este nivel puede obtener
Este criterio entre 1 puntos y 3 puntos
representa 5
puntos del total Nivel bajo: El estudiante no identifica la regla de inferencia que se
de 100 puntos de aplica para probar la validez del argumento
la actividad Si su trabajo se encuentra en este nivel puede obtener 0
puntos
Nivel alto: El estudiante define la expresión simbólica o formal del
argumento planteado
Noveno criterio de
Si su trabajo se encuentra en este nivel puede obtener
evaluación:
entre 3 puntos y 4 puntos
Definición del lenguaje
simbólico o formal Nivel Medio: El estudiante define la expresión simbólica o formal
del argumento planteado con algunos errores en la utilización de los
conectivos lógicos del argumento
Este criterio
Si su trabajo se encuentra en este nivel puede obtener
representa 4
entre 1 puntos y 2 puntos
puntos del total
de 100 puntos de
Nivel bajo: El estudiante no define la expresión simbólica o formal
la actividad
del argumento planteado
Si su trabajo se encuentra en este nivel puede obtener 0
puntos
Nivel alto: El estudiante define de correctamente las proposiciones
Décimo criterio de
simples y construye de forma adecuada el lenguaje natural en el
evaluación: contexto solicitado.
Si su trabajo se encuentra en este nivel puede obtener
Definición de
entre 4 puntos y 5 puntos
proposiciones simples
para la construcción
del lenguaje natural Nivel Medio: El estudiante comete algunos errores al definir las
proposiciones simples o construye de forma inadecuada el lenguaje
natural.
Este criterio
Si su trabajo se encuentra en este nivel puede obtener
representa 5
entre 1 puntos y 3 puntos
puntos del total
21
de 100 puntos de Nivel bajo: El estudiante no define correctamente las proposiciones
la actividad simples, ni construye el lenguaje natural.
Si su trabajo se encuentra en este nivel puede obtener 0
puntos
Nivel alto: El estudiante genera adecuadamente una tabla de
Undécimo criterio verdad a partir del lenguaje simbólico del argumento de forma
de evaluación: manual
Si su trabajo se encuentra en este nivel puede obtener
Construcción de tabla entre 4 puntos y 5 puntos
de verdad a partir de
un lenguaje simbólico Nivel Medio: El estudiante genera adecuadamente una tabla de
dado. verdad pero no corresponde con el lenguaje simbólico del argumento
o comete errores en la aplicación de algún conector lógico.
Este criterio Si su trabajo se encuentra en este nivel puede obtener
representa 5 entre 1 puntos y 3 puntos
puntos del total
de 100 puntos de Nivel bajo: El estudiante no genera la tabla de verdad de forma
la actividad manual.
Si su trabajo se encuentra en este nivel puede obtener 0
puntos
Nivel alto: El estudiante genera correctamente una tabla de verdad
Duodécimo
a partir del lenguaje simbólico del argumento utilizando el simulador
criterio de Lógica UNAD
evaluación: Si su trabajo se encuentra en este nivel puede obtener
entre 3 puntos y 4 puntos
Generación de tabla
de verdad a partir del
simulador Lógica
Nivel Medio: El estudiante genera una tabla de verdad a partir del
UNAD lenguaje simbólico del argumento utilizando el simulador Lógica UNAD
pero no es correcta
Si su trabajo se encuentra en este nivel puede obtener
Este criterio
entre 1 puntos y 2 puntos
representa 4
puntos del total
Nivel bajo: El estudiante no genera una tabla de verdad a partir del
de 100 puntos de
lenguaje simbólico del argumento con el simulador Lógica UNAD
la actividad
Si su trabajo se encuentra en este nivel puede obtener 0
puntos
Nivel alto: El estudiante demuestra correctamente la validez del
Decimotercero
argumento por medio de las leyes de inferencia.
criterio de
Si su trabajo se encuentra en este nivel puede obtener
evaluación:
entre 8 puntos y 10 puntos
22
Demostración de la Nivel Medio: El estudiante demuestra la validez del argumento por
validez de argumentos medio de las leyes de inferencia pero presenta errores en su
a partir de la planteamiento.
aplicación de leyes de Si su trabajo se encuentra en este nivel puede obtener
inferencia. entre 1 puntos y 7 puntos
Este criterio Nivel bajo: El estudiante no demuestra la validez del argumento por
representa 10 medio de las leyes de inferencia.
puntos del total Si su trabajo se encuentra en este nivel puede obtener 0
de 100 puntos de puntos
la actividad
23
redactada, los aportes Nivel Medio: Aunque presenta el informe individual (único
individuales en la documento), este presenta fallas en su organización, redacción y/o
aplicación de los completitud, no sigue los lineamientos dados.
conceptos y Si su trabajo se encuentra en este nivel puede obtener
operaciones entre 1 puntos y 3 puntos
matemáticas y la
formulación de
Nivel bajo: El informe presentado no sigue los lineamientos dados
soluciones.
o no fue presentado en el entorno de evaluación.
Si su trabajo se encuentra en este nivel puede obtener 0
Este criterio puntos
representa 5
puntos del total
de 100 puntos de
la actividad
24