Download Aplicará la teoría de conjuntos, la lógica

Document related concepts

Proposición wikipedia , lookup

Gráficos existenciales wikipedia , lookup

Predicado (lógica) wikipedia , lookup

Negación lógica wikipedia , lookup

Valor de verdad wikipedia , lookup

Transcript
Aplicará la teoría de conjuntos, la lógica matemática,
álgebra booleana representando conjuntos,
proposiciones, enunciados, predicados con notación
lógica, expresiones booleanas y sus operaciones para
el planteamiento y solución de problemas.
Utiliza lógica matemática elaborando proposiciones,
enunciados y predicados mediante notación lógica para
su aplicación en computación. (15%)
Nombre del Alumno:
Grupo:
Unidad de Aprendizaje: 2.- Manejo de lógica matemática y álgebra booleana
Resultado de Aprendizaje: 2.2 Utiliza lógica matemática elaborando proposiciones, enunciados y predicados mediante notación
lógica para su aplicación en computación.
Competencia a desarrollar: 5.- Piensa crítica y reflexivamente: Sigue instrucciones y procedimientos de manera reflexiva,
comprendiendo como cada uno de sus pasos contribuye al alcance de un objetivo.
Evidencia No. 1 “Ejemplos con diversos tipos de proposiciones”
1.- Ana come pizza y bebe refresco. Proposición compuesta, cerrada y afirmativa
2.- Ella no nada muy rápido. Proposición simple, abierta y negativa.
3.- 15+21=36. Proposición simple, cerrada, afirmativa y verdadera
4.- a+b = 6 Proposición compuesta, abierta y afirmativa
5.- Los precios de las pantallas bajan en el buen fin. ____________________________________
6.- ____________________________________________________________________________
7.- ____________________________________________________________________________
8.- ____________________________________________________________________________
9.- ____________________________________________________________________________
10.- ___________________________________________________________________________
11.- ___________________________________________________________________________
12.- ___________________________________________________________________________
13.- ___________________________________________________________________________
14.- ___________________________________________________________________________
15.- ___________________________________________________________________________
Profesora: Beatriz Ponce Nely
AMAD-02
Nombre del Alumno:
Grupo:
Unidad de Aprendizaje: 2.- Manejo de lógica matemática y álgebra booleana
Resultado de Aprendizaje: 2.2 Utiliza lógica matemática elaborando proposiciones, enunciados y predicados mediante notación
lógica para su aplicación en computación.
Competencia a desarrollar: 5.- Piensa crítica y reflexivamente: Sigue instrucciones y procedimientos de manera reflexiva,
comprendiendo como cada uno de sus pasos contribuye al alcance de un objetivo.
Evidencia No. 2 “Tabla de conectivos lógicos con ejemplos”
CONECTIVO
SIMBOLO LOGICO
EXPRESIÓN EN LENGUAJE
NATURAL
EJEMPLOS
NEGACIÓN
CONJUNCIÓN
DISYUNCIÓN
CONDICIONAL
BICONDICIONAL
Profesora: Beatriz Ponce Nely
AMAD-02
Nombre del Alumno:
Grupo:
Unidad de Aprendizaje: 2.- Manejo de lógica matemática y álgebra booleana
Resultado de Aprendizaje: 2.2 Utiliza lógica matemática elaborando proposiciones, enunciados y predicados mediante notación
lógica para su aplicación en computación.
Competencia a desarrollar: 5.- Piensa crítica y reflexivamente: Sigue instrucciones y procedimientos de manera reflexiva,
comprendiendo como cada uno de sus pasos contribuye al alcance de un objetivo.
Evidencia No. 3 “Representación de tablas de verdad”
Profesora: Beatriz Ponce Nely
AMAD-02
Nombre del Alumno:
Grupo:
Unidad de Aprendizaje: 2.- Manejo de lógica matemática y álgebra booleana
Resultado de Aprendizaje: 2.2 Utiliza lógica matemática elaborando proposiciones, enunciados y predicados mediante notación
lógica para su aplicación en computación.
Competencia a desarrollar: 5.- Piensa crítica y reflexivamente: Sigue instrucciones y procedimientos de manera reflexiva,
comprendiendo como cada uno de sus pasos contribuye al alcance de un objetivo.
Evidencia No. 4 “Tablas de Verdad: tautología, contradicción y contigencia”
Profesora: Beatriz Ponce Nely
AMAD-02
Profesora: Beatriz Ponce Nely
AMAD-02
Profesora: Beatriz Ponce Nely
AMAD-02
Nombre del Alumno:
Grupo:
Unidad de Aprendizaje: 2.- Manejo de lógica matemática y álgebra booleana
Resultado de Aprendizaje: 2.2 Utiliza lógica matemática elaborando proposiciones, enunciados y predicados mediante notación
lógica para su aplicación en computación.
Competencia a desarrollar: 5.- Piensa crítica y reflexivamente: Sigue instrucciones y procedimientos de manera reflexiva,
comprendiendo como cada uno de sus pasos contribuye al alcance de un objetivo.
Evidencia No. 5 “Formulario de Reglas de Inferencia”
REGLA DE INFERENCIA
Profesora: Beatriz Ponce Nely
TAUTOLOGÍA
NOMBRE
AMAD-02
Nombre del Alumno:
Grupo:
Unidad de Aprendizaje: 2.- Manejo de lógica matemática y álgebra booleana
Resultado de Aprendizaje: 2.2 Utiliza lógica matemática elaborando proposiciones, enunciados y predicados mediante notación
lógica para su aplicación en computación.
Competencia a desarrollar: 5.- Piensa crítica y reflexivamente: Sigue instrucciones y procedimientos de manera reflexiva,
comprendiendo como cada uno de sus pasos contribuye al alcance de un objetivo.
Evidencia No. 6 “Ejemplos de Reglas de Inferencia”
Profesora: Beatriz Ponce Nely
AMAD-02
Profesora: Beatriz Ponce Nely
AMAD-02