REALIZACIÓN TRABAJO UNO LÓGICA MATEMATICA.

Autora:

Lized Angélica Sandoval Cárdenas

Tutor:

Curso:

Grupo:

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

FACULTAD DE EDUCACIÓN

PROGRAMA DE LICENCIATURA EN EDCUACIÓN INFANTIL

BUCARAMANGA – SANTANDER

2019

SOLUCIÓN
 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 herramienta digital. A
partir del tema deberá dar su definición y dos ejemplos.
Los temas propuestos son:

Cuantificador Universal Afirmativo.

Definición.

En lógica matemática, teoría de conjuntos y matemáticas en general, los cuantificadores

son símbolos utilizados para indicar cuántos o qué tipo de elementos de un conjunto
dado cumplen con cierta propiedad (por ejemplo, pertenencia, equivalencia u orden).
Existen muchos tipos de cuantificadores, entre los más utilizados están:

 Cuantificador universal

∀𝑥, 𝑦 …

Para todo x, y...

 Cuantificador existencial

∃𝑥, 𝑦 …

Existe al menos un x, y...

 Cuantificador existencial único

∃! 𝑥, 𝑦 …

Existe exactamente un x, y...

  Negación del cuantificador existencial

∄𝑥, 𝑦 …

No existe ningún x, y.

Cuantificador Universal Afirmativo.

El cuantificador universal indica que algo es cierto para todos los individuos Sea A una
expresión y sea x una variable. Si deseamos indicar que A es verdadero para todos los
posibles valores de x, escribiremos (∀x) A.

• (∀x) es cuantificador universal

• A es el ámbito (alcance) del cuantificador.

• El símbolo ∀ se lee “para todo”.

Las frases que comúnmente se usan para denotar el cuantificador Universal afirmativo
son:

 Todos x – Todo x
 Para cada x
 Cada x
 Cada uno x
 Siempre que x
 Cualquier

Ejemplo cuantificador Universal

A)

Si tenemos dos conjuntos diferentes A y B, y A es un subconjunto de B:

𝐴 ⊂ 𝐵 ∧ 𝐴 ≠ 𝐵 ∧ 𝐴 ≠⊘

Todo elemento x de A pertenece a B:

∀𝑥 ∈ 𝐴 ⇒ 𝑥 ∈ 𝐵

B)
Todos los Bogotanos son colombianos.
 ∀𝑥 𝐵𝑜𝑔𝑜𝑡𝑎𝑛𝑜 (𝑥) ⇒ 𝐶𝑜𝑙𝑜𝑚𝑏𝑖𝑎𝑛𝑜(𝑥)
C)
Siempre que el equipo gana o empata, todos quedan felices
∀𝑥 𝐹𝑒𝑙𝑖𝑧(𝑥) ⇒ 𝑒𝑞𝑢𝑖𝑝𝑜𝑔𝑎𝑛𝑎 (𝑥) ∨ 𝑒𝑞𝑢𝑖𝑝𝑜𝑒𝑚𝑝𝑎𝑡𝑎(𝑥)

Link de Prezi: https://prezi.com/view/Hd8ORagfpMWbF1glkPUr/

2. Proposiciones y Tablas de verdad

Para el desarrollo de este ejercicio, es necesario que revise en el Entorno de 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:
 Si Laura chatea en su celular y conduce por la autopista entonces Laura tiene
una alta probabilidad de accidentarse o Laura puede dañar su automóvil.

Definamos las proposiciones Simples:

𝑝: 𝐿𝑎𝑢𝑟𝑎 𝑐ℎ𝑎𝑡𝑒𝑎 𝑒𝑛 𝑠𝑢 𝑐𝑒𝑙𝑢𝑙𝑎𝑟

𝑞: 𝐿𝑎𝑢𝑟𝑎 𝑐𝑜𝑛𝑑𝑢𝑐𝑒 𝑝𝑜𝑟 𝑙𝑎 𝑎𝑢𝑡𝑜𝑝𝑖𝑠𝑡𝑎

𝑟: 𝐿𝑎𝑢𝑟𝑎 𝑡𝑖𝑒𝑛𝑒 𝑢𝑛𝑎 𝑎𝑙𝑡𝑎 𝑝𝑟𝑜𝑏𝑎𝑏𝑖𝑙𝑖𝑑𝑎𝑑 𝑑𝑒 𝑎𝑐𝑐𝑖𝑑𝑒𝑛𝑡𝑎𝑟𝑠𝑒

𝑠: 𝐿𝑎𝑢𝑟𝑎 𝑝𝑢𝑒𝑑𝑒 𝑑𝑎ñ𝑎𝑟 𝑠𝑢 𝑎𝑢𝑡𝑜𝑚ó𝑣𝑖𝑙

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

(𝑝 ∧ 𝑞) ⇒ (𝑞 ∨ 𝑟)

Generar una tabla de verdad con el simulador Lógica UNAD a partir del lenguaje
simbólico
 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.

𝑝 𝑞 𝑟 𝑠 𝑝∧𝑞 𝑟∨𝑠 (𝑝 ∧ 𝑞) ⇒ (𝑟 ∨ 𝑠)
V V V V V V V
V V V F V V V
V V F V V V V
V V F F V V V
V F V V F V V
V F V F F V V
V F F V F V V
V F F F F V V
F V V V F V V
F V V F F V V
F V F V F V V
F V F F F V V
F F V V F F V
F F V F F F V
 F F F V F F V
F F F F F F V

Es una tautología

3. Problemas de aplicación

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

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:

Solución

A. (𝑝 ∧ 𝑞) → (𝑟 ∨ ¬𝑞)

Definimos 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

𝑝: 𝐴𝑛𝑔é𝑙𝑖𝑐𝑎 𝑒𝑠𝑡𝑢𝑑𝑖𝑎 𝑝𝑒𝑑𝑎𝑔𝑜𝑔í𝑎 𝑖𝑛𝑓𝑎𝑛𝑡𝑖𝑙

𝑞: 𝐴𝑛𝑔é𝑙𝑖𝑐𝑎 𝑒𝑠𝑡𝑢𝑑𝑖𝑎 𝑒𝑛 𝑙𝑎 𝑈𝑛𝑖𝑣𝑒𝑟𝑠𝑖𝑑𝑎𝑑 𝐼𝑛𝑑𝑢𝑠𝑡𝑟𝑖𝑎𝑙 𝑑𝑒 𝑆𝑎𝑛𝑡𝑎𝑛𝑑𝑒𝑟

 𝑟: 𝐴𝑛𝑔é𝑙𝑖𝑐𝑎 𝑙𝑒 𝑒𝑛𝑠𝑒ñ𝑎 𝑚𝑎𝑡𝑒𝑚á𝑡𝑖𝑐𝑎𝑠 𝑎 𝑠𝑢 𝑝𝑟𝑖𝑚𝑎 𝑑𝑒 5 𝑎ñ𝑜𝑠

Remplazamos las variables expresadas simbólicamente y la llevamos al lenguaje

natural. Las proposiciones simples deben ser de autoría de cada estudiante

(𝑝 ∧ 𝑞) → (𝑟 ∨ ¬𝑞):

“Si Angélica estudia pedagogía infantil y estudia en la Universidad Industrial de

Santander, entonces Angélica le enseña matemáticas a su prima de 5 años o no estudia
en la Universidad Industrial de Santander”

Generar una tabla de verdad con el simulador Lógica UNAD a partir del lenguaje
simbólico

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

𝑝 𝑞 𝑟 ∽𝑞 𝑝∧𝑞 𝑟 ∧∼ 𝑞 (𝑝 ∧ 𝑞) ⇒ (𝑟 ∧∼ 𝑞)
V V V F V F F
V V F F V F F
V F V V F V V
V F F V F F V
F V V F F F V
F V F F F F V
F F V V F F V
 F F F V F F V

Definir si el argumento seleccionado inicialmente es una tautología, contradicción o

contingencia

El argumento es una contingencia.

Biblñiografía

 Cotlar, M., & Ratto de Sadosky, C. (1977). Introducción al álgebra: nociones de

álgebra lineal.
 García, A. M. (2005). Sobre el origen de las leyes de Morgan. Enl@ ce: Revista
Venezolana de Información, Tecnología y Conocimiento, 2(3), 13-36.
 Pellicer, J. O. (1996). Estructuras de álgebra multilineal (Vol. 16). Universitat
de València.
 Rivera, J. A. H., & Arreaga, L. M. Q. (2017). Matemáticas para curso de
nivelación para las carreras de Ciencias Sociales.