Вы находитесь на странице: 1из 7

Ejercicio 1: Conceptualización de Cuantificadores

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:

B. Cuantificador Universal.
Cuantificadores.
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á:
Cuantificador Universal:
En lógica, se usa el símbolo ∀, denominado cuantificador
universal, antepuesto a una variable para decir que "para todo" elemento
de un cierto conjunto se cumple la proposición dada a continuación. En
texto se puede representar con el carácter ∀.
Normalmente, en lógica, el conjunto al que se refiere es el universo o
dominio de referencia, en el cual aparecen todas las constantes.
Ejemplo:
Si tenemos dos conjuntos diferentes A y B, y A es un subconjunto de B:

A⊂B∧A≠B∧A≠∅

Todo elemento x de A pertenece a B:

∀x∈A⇒x∈B

Al ser A y B conjuntos diferentes como indica el diagrama, podemos


decir que no todos los elementos y de B pertenecen a A, siendo esto
una garantía suficiente para que dos conjuntos cuales quiera puedan ser
diferentes:

¬∀y∈B:y∈A
Es decir: no para todo elemento y de B se cumple que y también
pertenezca a A.

Ejemplo 2.- Expresar “todos los gatos tienen cola” en cálculo de


predicados.
Solución:
Hallar primero el ámbito del cuantificador universal, que es “Si x es un
gato, entonces x tiene cola” y se define como
Gx ↔ x es un gato
Cx ↔ x tiene cola ∴
(∀x) Gx → Cx

 Cuantificadores-Soluciones Matemática discretas, consultado 15 de


septiembre 2018, y disponible en
https://sites.google.com/site/mathematicasdiscretesolutions/logic
a-de-po/cuantificadores
 Gonzáles Francisco, Abril del 2005,Apuntes de lógica matemáticas,
disponible en:
https://docs.google.com/viewer?a=v&pid=sites&srcid=ZGVmYXVs
dGRvbWFpbnxtYXRoZW1hdGljYXNkaXNjcmV0ZXNvbHV0aW9uc3x
neo2ZDhiNTE1ODc2OTQyYzBh

Condiciones de entrega:
 Nombre el archivo de su aporte de la siguiente manera: ejercicio 1
unidad 1_nombre del estudiante
 Presentar el desarrollo en un documento en Word en el foro de la
tarea que se encuentra en el entorno de aprendizaje colaborativo
 Debe explicar con claridad el tema seleccionado
 Dar dos ejemplos de la temática
 Respuestas que sean contestadas sin referentes bibliográficos o
desde la opinión no serán valoradas.
 Debe referenciar adecuadamente la bibliografía consultada para el
desarrollo de esta tarea (revisar normas APA).

Ejercicio 2: Proposiciones y Tablas de verdad

Descripción del ejercicio:


A continuación, encontrará los argumentos para el desarrollo del ejercicio
2.

B. Voy de vacaciones a San Bernardo del Viento o Voy a Capurgana o


viajo a Amazonas

A partir del argumento que haya seleccionado deberá dar respuesta a los
siguientes ítems:
 Definir las proposiciones simples del argumento.
p: Voy de vacaciones a San Bernardo del Viento
q: Voy a Capurgana
r: viajo a Amazonas
 Definir la expresión del argumento en lenguaje simbólico o formal.
Voy de vacaciones a San Bernardo del Viento o Voy a Capurgana o viajo a Amazonas.

p v q v r

 Generar una tabla de verdad con el simulador Truth Table a partir


del lenguaje simbólico (El estudiante encontrará la Guía para el uso
de recursos educativos Simulador TRUTH, en el Entorno de
Aprendizaje Práctico, así como el link de acceso al recurso)

Truth table:

 Generar una tabla de verdad manualmente a partir del lenguaje


simbólico.

p q r pvqvr

V V V V

V V F V

V F V V

V F F V

F V V V

F V F V
F F V V

F F F F

Ejercicio 3: Problemas de aplicación

Descripción del ejercicio:

A continuación, encontrará proposiciones compuestas en lenguaje


simbólico (argumento) para el desarrollo del ejercicio 3:

B. {(𝑝⟶𝑞)∧(𝑟⟶p)}⟶( 𝑝⟶𝑞)

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, ejemplo:

p: Carlos estudia en la UNAD.

q: La UNAD es una Universidad Pública

 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 considerara como copia y se tomaran las medidas
correctivas estipuladas por la UNAD.
p: José estudia en la Unad
q: José estudia física
r: José es de Boyacá

{(𝑝⟶𝑞) ∧ (𝑟⟶p)}⟶( 𝑝⟶𝑞)

José estudia en la Unad entonces José estudia física y José vive en


Boyacá entonces José estudia en la Unad entonces José estudia en la
Unad entonces José estudia física.

 Generar una tabla de verdad con el simulador Truth Table a partir


del lenguaje simbólico (El estudiante encontrará la Guía para el uso
de recursos educativos Simulador TRUTH, 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 p⟶q r⟶p {(𝑝⟶𝑞) ∧ (𝑟⟶p)} p⟶q {(𝑝⟶𝑞) ∧ (𝑟⟶p)}⟶( 𝑝⟶𝑞)


V V V V V V V V

V V F V V V V V

V F V F V F F V

V F F F V F F V

F V V V F F V V

F V F V V V V V

F F V V F F V V

F F F V V V V V

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


contradicción o contingencia

El argumento {(𝑝⟶𝑞) ∧ (𝑟⟶p)}⟶( 𝑝⟶𝑞) es una tautología, ya que la


conclusión es verdadera .

Вам также может понравиться