Actividad Momento 2

Olave Alicia Quiñones Angulo – Nodo Barbacoas

Mabel Jackeline Ceballos Landazury– Nodo Barbacoas

Freddy Hernando Quiñones Quiñones – Nodo Barbacoas

Edwin David Quiñones Mariñez – Nodo Barbacoas

Yofren Jaleider Tenorio Angulo – Nodo Barbacoas

Presentado A: William Valencia

Universidad Nacional Abierta y a Distancia UNAD

Facultad de Ciencias de la Educación

Licenciatura en Etnoeducación

Pensamiento Lógico Matemático

21 febrero del 2021

1. Expresar con tus propias palabras

¿Cuándo se presenta una tautología?

 Es una fórmula de asignación de valores de verdad, Si la tabla de verdad de la proposición es

siempre verdadera, independientemente de la verdad o falsedad de las proposiciones simples,

es decir, es verdadera en todos los casos. Podemos decir también, que una proposición

compuesta es una tautología.

p q Formula lógica
V V V
V F V
F V V
F F V

¿Cuándo se presenta una contradicción?

Es aquella formula o proposición que en su tabla de verdad su valor siempre va a ser falso, es

decir lo contrario de una tautología, su valor no depende de una proposición que lo forman los

valores de verdad, sino de cómo están compuestas las sintácticas de una con otras.

p q Formula lógica
V V F
V F F
F V F
F F F

¿Cuándo se presenta una contingencia?

Es toda aquellas composiciones o proposiciones que pueden ser verdad o falsas.

p q Formula lógica
V V F
 V F V
F V F
F F V

2. Desarrollar la tabla de verdad de una Contingencia.

2 (n) = 2 x 2 x 2 = 8 (r v p) ^ ~ (q v p) hay tres proposiciones simples

Entonces para la tabla de verdad debe haber 8 filas con p, q y r

disyunción negación
~ ( q v p)
p q r r vp qvp (r v p) ^ ~ (q v p)
F
V V V V V F
F
V V F V V F
F
V F V V V F
F
V F F V V F
F
F V V V V F
F
F V F F V F
V
F F V V F V
V
F F F F F F

3. Investigar los tipos de cuantificadores.

Los cuantificadores son símbolos que se utilizan para indicar la cantidad (cuántos) o los tipos de

elementos de un conjunto.[ CITATION Daz20 \l 2058 ].

Es un enunciado abierto porque se puede identificar que X no corresponde al nombre de una

persona como lo podría ser a, ya que X se considera una variable porque puede ser reemplazada

por cualquier nombre de un individuo (el nombre de una persona). De esta manera se forma una

proposición.[ CITATION Daz20 \l 2058 ]. son símbolos utilizados para indicar cuántos o qué tipo

de elementos de un conjunto dado cumplen con cierta propiedad [ CITATION sol \l 2058 ]

Cuantificación universal o referencial:

El cuantificador universal se utiliza para afirmar que todos los elementos de un conjunto

cumplen con una determinada propiedad. Por ejemplo:

∀x∈A:P(x)

Para todo x perteneciente a A, se cumple P(x).

Esta afirmación suele usarse como la equivalente de la proposición siguiente:

A={x∈U:P(x)}

Se define el conjunto A, como el de los elementos x de U, que cumplen P(x).

Cuantificación existencial o particular:

El cuantificador existencial se usa para indicar que hay uno o más elementos en el
conjunto  A (no necesariamente único/s) que cumplen una determinada propiedad. Se escribe:

∃x∈A:P(x)

Existe x en A que cumple P(x).

Esta proposición suele interpretarse como la equivalente de la proposición siguiente:

{x∈A:P(x)}≠∅

El conjunto de los elementos x de A, que cumplen P(x) es distinto del conjunto vacío.

Cuantificación existencial única:

El cuantificador existencial con marca de unicidad se usa para indicar que hay un único elemento
de un conjunto A que cumple una determinada propiedad. Se escribe:

∃!x∈A:P(x)

Se lee:

Existe una única x elementos de A, que cumple P(x).

Equivalencias

Se tienen las siguientes relaciones universales:

∀x∈A:P(x)⟷¬∃x∈A:¬P(x)
 Si: para todo x de A se cumple P(x), es equivalente a: no
existe x en A que no cumpla P(x).

∃x∈A:P(x)⟷¬∀x∈A:¬P(x)

Si: existe x en A que cumple P(x), es equivalente a: no para todo x de A, no se

cumple P(x).

En cuanto al cuantificador existencial único puede considerarse una extensión por definición en
un lenguaje formal con igualdad teniendo dada la equivalencia:

∃!x∈A:P(x)⟷∃z∈A ∀x,y∈A:P(z)∧(P(x)∧P(y)→x=y)

Si: existe un único x en A que cumple P(x), es equivalente a: para todo x, y de A, que

cumple P(x) y P(y), entonces x es igual a y. [ CITATION sol \l 2058 ]