Ejercicio 1 _unidad1 cuantificador existencial

Maira Alejandra González Medina Grupo 103

Febrero 2020

Universidad Nacional Abierta y a Distancia

Escuela de ciencias administrativas contable, economía y de negocios

Pensamiento, Lógico y matemático

 INTRODCUCCION

El presente trabajo se refiere a las proposiciones y las tablas de verdad, en este se desarrollan

cada definición, desarrollo de algunos ejercicios, donde se implementa todo lo conocido durante

esta unidad.

Una de las características que se encontraran es el desarrollo de las tablas de verdad estas se

utilizan valores lógicos los cuales serán v o f donde se podrá resolver las expresiones y de esta

misma definir si es tautología, contradicción o contingencia.

También la utilización adecuada de el simulador de las tablas de verdad con el cual podemos

comprobar la veracidad de la elaboración de nuestra tabla manual.

 OBJETIVOS

 Aprender la conceptualización de cada tema a desarrollar.

 Desarrollar los ejercicios implementados para así dar por entendido el tema leído.

 Implementar el adecuado uso del simulador (tabla de verdad).

 Desarrollar a cabalidad todas las actividades de la unidad.

 EJERCICIO 1 CONCEPTUALIZACIÓN DE CUANTIFICADORES

¿Que son los cuantificadores?

un cuantificador es una expresión que indica la cantidad de veces que un predicado o

propiedad P se satisface dentro de una determinada clase (por ejemplo, pertenencia, equivalencia

u orden).

Cuantificador existencial

Este es otro tipo de cuantificador dentro del calculo de los predicados, en la lógica matemática

se usa el símbolo Ǝ el cual se le denomina cuantificador existencial este símbolo siempre se va

anteponer a una variable (X), para indicar que existe al menos un elemento del conjunto al que

haces referencia de la variable (X)que cumple con la proposición descrita o que algún o algunos

valores son verdaderos, aunque también se pueden dar expresiones o afirmaciones negativas.

Algunas frases con las que se identifica generalmente este cuantificador son:

 Existe al menos un X

 Para algún X

 Existe un X tal que

 Algunos X

 Cuando menos un X

Ejemplos:

Ejemplo 1:

Dada la expresión
Se lee de la siguiente manera;

 Existe un numero entero X, tal que X menos uno es igual a cero

 Para algún número entero X, X menos uno es igual a cero

 Al menos para un numero entero X, X menos uno es igual a cero

Ejemplo2:

Dada la expresión

Se lee de la siguiente manera:

 Existe un numero real X, tal que la raíz cuadrada de X es igual a dos

 Para algún numero real X, la raíz cuadrada de X es igual a dos

 Al menos para un número real X, raíz cuadrada de X es igual a dos

Negación del cuantificador existencial

Se representa con el símbolo

 no existe X, tal que p(X) es verdadero

Condición

Y es equivalente a:

para todo X, p(X) es falso

Ejemplo:

Negar la siguiente expresión

Igualmente dejo el resprctivo link para revisar la presentacion en prezi:

https://prezi.com/5_kclrxqzmgp/cuantificador-existencial/
 EJERCICIO 2 PROPOSICIONES Y TABLAS DE VERDAD

Argumento:

Colombia cuenta con una variedad de fauna y flora. Si y solo si, la atraviesa la cordillera de

los andes y la llanura amazónica.

Proposiciones simples:

p: Colombia cuenta con una variedad de fauna.

q: flora.

r: la atraviesa la cordillera de los andes.

s: la llanura amazónica.

Lenguaje simbólico:

( pˆq ) ↔ ( rˆs )

Tabla de verdad simulador:

Tabla de verdad manual:

p q r s pˆq rˆs ( pˆq ) ↔ ( rˆs )

V V V V V V V

V V V F V F F

V V F V V F F

V V F F V F F

V F V V F V F

V F V F F F V

V F F V F F V

V F F F F F V

F V V V F V F

F V V F F F V

F V F V F F V

F V F F F F V

F F V V F V F

F F V F F F V

F F F V F F V

F F F F F F V

Resultado de la tabla de verdad: INDETERMINADA

 EJERCICIO 3 PROBLEMA DE APLICACIÓN

[(p→ q ¿ ↔r ¿

Definición de las proposiciones simples:

p: participo en la web conferencia

q: tendré más clara la información

r: obtendré excelentes calificaciones

leguaje natural de la expresión normal:

sí participo en la web conferencia entonces tendré más clara la información. Si y solo si,

obtendré excelentes calificaciones.

Tabla de verdad del simulador:

Tabla de verdad manual:

p q r p→ q [(p→ q ¿ ↔r ¿

V V V V V

V V F V F

V F V F F

V F F F V

F V V V V

F V F V F

F F V V V

F F F V F

Respuesta de la tabla de verdad: INDETERMINADA

 Bibliogrfia

 Real Academia de Ciencias Exactas, Física y Naturales, ed. (1999). Diccionario

esencial de las ciencias

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

computación. (pp. 106-112). Ediciones Elizcom, Madrid. Recuperado de

https://ebookcentral-proquest-com.bibliotecavirtual.unad.edu.co/lib/unadsp/

reader.action?docID=3199701&ppg=109

 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.