Unad

Ejercicio 1: Conceptualización de Cuantificadores
Para el desarrollo de este ejercicio, es necesario que revise en el Entorno de

Conocimiento (Unidad 1), la siguiente referencia:
• Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y

computación. (pp. 106 - 112). Ediciones Elizcom, Madrid.
Una vez realizada la lectura, desarrolle el ejercicio propuesto.
Descripción del ejercicio
Con base en los contenidos desarrollados en la lectura, el estudiante debe

escoger uno de los siguientes temas y presentarlo de manera gráfica a través de
una presentación, utilizando un recurso didáctico tipo PREZI, PowerPoint u otra
Los temas propuestos son:
herramienta digital. A partir del tema deberá dar su definición y dos ejemplos.
A. Cuantificador Universal Afirmativo.

B. Cuantificador Universal negativo.
C. Cuantificador Existencial.
D. Cuantificador Existencial Único.
E. Equivalencias entre cuantificadores.
En el caso de seleccionar la herramienta PREZI, debe dirigirse a la página web

https://prezi.com/es/ y realizar la apertura de una cuenta para lograr hacer uso
de la herramienta, posteriormente debe colocar el enlace de la presentación en el
documento que consolidará para entregar en el entorno de seguimiento y
evaluación.
Si realiza su presentación en una herramienta office como lo es PowerPoint, por
favor en el informe final de la tarea, debe pegar los pantallazos de las
diapositivas de su presentación.
https://prezi.com/p/phhakzykvmnu/pensamiento-logico-matematico/
Ejercicio 2: Proposiciones y Tablas de verdad

Conocimiento (Unidad 1), las siguientes referencias:
• Rodríguez, V. R. (2013). Conjuntos numéricos, estructuras algebraicas y

fundamentos de álgebra lineal. Volumen I: conjuntos numéricos, complementos.
(pp. 19-28). Madrid, España: Editorial Tébar Flores.
• Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas
y computación. (pp. 9-28). Ediciones Elizcom, Madrid.
Una vez realizadas las lecturas, desarrolle el ejercicio propuesto.
Descripción del ejercicio:

A continuación, encontrará los argumentos para el desarrollo del ejercicio 2:
C. Empresas estadounidenses no pueden negociar con empresas chinas o Google es una empresa
estadounidense y si Huawei es una empresa china entonces no tiene Android de Google.
A partir del argumento que haya seleccionado deberá dar respuesta a los
siguientes ítems:
• Definir las proposiciones simples del argumento.
pqrs
p Empresa estadounidenses no podrán negociar con China

q Huawei es una empresa china
r Google es un empresa estadounidense
s No tiene Android de Google
• Definir la expresión del argumento en lenguaje simbólico o formal.
(p ˯ q) ¿ (r⟶ ¬ s)
• Generar una tabla de verdad con el simulador Lógica UNAD a partir del
lenguaje simbólico (El estudiante encontrará la Guía para el uso de
recursos educativos Simulador Lógica UNAD, en el Entorno de
Aprendizaje Práctico, así como el link de acceso al recurso)
• Generar una tabla de verdad manualmente a partir del lenguaje simbólico
y determinar si el resultado es una tautología, contingencia o
contradicción.
p q r s (¬p) [(¬pv (¬ s ) (r→ ¬ s ) ( ¬ p v q ) ^( r
V V V V F qV) F F →
F ¬s )
V V V F F V V V V
V V F V F V F V V
V V F F F V V V V
V F V V F F F F F
V F V F F F V V F
V F F V F F F V F
V F F F F F V V F
F V V V v V F F F
F V V F v V V V V
F V F V v V F V V
F V F F v V V V V
F F V V v V F F F
F F V F v V V V V
F F F V v V F V V
F F F F v V V V V
Ejercicio 3: Problemas de aplicación

Conocimiento (Unidad 1), las siguientes referencias:
• • Rodríguez, V. R. (2013). Conjuntos numéricos, estructuras algebraicas y
fundamentos de álgebra lineal. Volumen I: conjuntos numéricos,
complementos. (pp. 19-28). Madrid, España: Editorial Tébar Flores.
• • Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas
y computación. (pp. 9-28). Ediciones Elizcom, Madrid.
Una vez realizadas las lecturas, desarrolle el ejercicio propuesto.

Descripción del ejercicio:
A continuación, encontrará proposiciones compuestas en lenguaje simbólico
(argumento) para el desarrollo del ejercicio 3:
C. [(� ⋁�)⟷�]
A partir de la proposición compuesta en lenguaje simbólico que haya

seleccionado deberá:
• Definir las proposiciones simples, tendrá la libertad de definirla bajo una

descripción basada en un contexto, el que se solicita es un contexto
académico
• p: Soy estudiante del segundo semestre de psicología en la unad
• q: veo pensamiento lógico matemático este periodo
• r: Aplico las proposiciones y tablas de verdad en esta materia
[(� ⋁�) ⟷�]
• Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje

natural. Las proposiciones simples deben ser de autoría de cada
estudiante, por lo que de encontrar proposiciones iguales entre estudiantes
se considerará como copia y se tomarán las medidas correctivas
estipuladas por la UNAD.
Soy estudiante del segundo semestre de la Unad, entonces veo pasamiento

lógico matemático este periodo, y debo aplicar las proposiciones y tablas de
verdad en esta materia.
• Generar una tabla de verdad con el simulador Lógica UNAD a partir del
lenguaje simbólico (El estudiante encontrará la Guía para el uso de
recursos educativos Simulador Lógica UNAD, en el Entorno de
Aprendizaje Práctico, así como el link de acceso al recurso)
• Generar una tabla de verdad manualmente a partir del lenguaje simbólico

(En Word, Excel o foto del desarrollo manual).
p Q r (pvq) (pvq)↔r
V V V V V
V V F V F
V F V V V
V F F V F
F V V V V
F V F V F
F F V F F
F F F F V
• Definir si el argumento seleccionado inicialmente es una tautología,

contradicción o contingencia
Tabla de contingencia

Unad

Cargado por

Copyright:

Formatos disponibles

Unad

Cargado por

Información del documento

Descripción original:

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Unad

Cargado por

Copyright:

Formatos disponibles

Ejercicio 1: Conceptualización de Cuantificadores

Para el desarrollo de este ejercicio, es necesario que revise en el Entorno de

• Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y

Una vez realizada la lectura, desarrolle el ejercicio propuesto.

Descripción del ejercicio

Con base en los contenidos desarrollados en la lectura, el estudiante debe

A. Cuantificador Universal Afirmativo.

En el caso de seleccionar la herramienta PREZI, debe dirigirse a la página web

Para el desarrollo de este ejercicio, es necesario que revise en el Entorno de

• Rodríguez, V. R. (2013). Conjuntos numéricos, estructuras algebraicas y

Una vez realizadas las lecturas, desarrolle el ejercicio propuesto.

Descripción del ejercicio:

• Definir las proposiciones simples del argumento.

p Empresa estadounidenses no podrán negociar con China

• Definir la expresión del argumento en lenguaje simbólico o formal.

Ejercicio 3: Problemas de aplicación

Una vez realizadas las lecturas, desarrolle el ejercicio propuesto.

A partir de la proposición compuesta en lenguaje simbólico que haya

• Definir las proposiciones simples, tendrá la libertad de definirla bajo una

[(� ⋁�) ⟷�]

• Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje

Soy estudiante del segundo semestre de la Unad, entonces veo pasamiento

• Generar una tabla de verdad manualmente a partir del lenguaje simbólico

• Definir si el argumento seleccionado inicialmente es una tautología,

También podría gustarte