PENSAMIENTO LÓGICO MATEMÁTICO

YOINER ORLANDO MIRANDA SOLARTE

CC:1.144.097.374

TUTORA: MARIA ISABEL OROZCO

CURSO No. 200611_51

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

ECONOMIA

Santiago de Cali, Julio de 2019

 TABLA DE CONTENIDO

1. INTRODUCCION..................................................................................................................................... 3
2. OBJECTIVOS........................................................................................................................................... 3
3. CUANTIFICADOR EXISTENCIAL .............................................................................................................. 4
3.1 EJEMPLOS DE CUANTIFICADOR EXISTENCIAL ............................................................................... 4
3.1.1 EJEMPLO 1. ........................................................................................................................... 5
3.1.2 EJEMPLO 2. ........................................................................................................................... 5
4. PRESENTACIÓN POWER POINT ............................................................................................................. 6
5. EJERCICIO No 2 ...................................................................................................................................... 7
5.1 PREPOSICIONES SIMPLES .............................................................................................................. 7
5.1.1 LENGUAJE SIMBÓLICO.......................................................................................................... 7
5.1.2 TABLA DE VERDAD................................................................................................................ 7
5.1.3 TABLA UNAD ......................................................................................................................... 9
6. EJERCICIO No 3 ...................................................................................................................................... 9
6.1 PREPOSICIONES SIMPLES .............................................................................................................. 9
6.1.1 LENGUAJE SIMBÓLICO.......................................................................................................... 9
6.1.2 TABLA DE VERDAD.............................................................................................................. 10
6.1.3 TABLA UNAD ....................................................................................................................... 11
7. CONCLUSIONES ................................................................................................................................... 12
8. BIBLIOGRAFIA...................................................................................................................................... 12
 Tabla de ilustraciones

Ilustración 1: ejemplo de cuantificadores existencial................................................................................... 5

 1. INTRODUCCION

Siempre que nosotros hacemos diferentes tipos de afirmaciones nos debemos basar en una serie de
análisis que nos permitan aclarar y rectificar si lo que dijimos anteriormente es verdadero o falso. En el
trabajo que a continuación desarrollaremos podremos encontrar como, cuando y en que situación
podemos aplicar este tipo de proposiciones

2. OBJECTIVOS

OBJETIVO GENERAL

Definir y reconocer las proposiciones simples y compuestas; además de eso entender el

verdadero significado de cada caso que se presente.

OBJETIVOS ESPECIFICOS

 Diferenciar las proposiciones simples de las compuestas.

 Construir proposiciones simples y compuestas.
 3. CUANTIFICADOR EXISTENCIAL

Según Cardona, T. S. A. (2010) un cuantificador existencial, es otro tipo de predicados, el cual indica que
algún o algunos valores son verdaderos dentro de un dominio o contexto especifico.
De acuerdo a (3), se A una expresion, y sea X una variable, si deseamos indicar que A es un verdadero para
cuando menos un valor x, escribimos ∃Xa esta frase se lee “exite un x tal que A. Aquí ∃Xa se denomina
cuantificador existencial , y se dice que A es el ámbito (alcance) del cuantificador exitencial , se dice que
la variable X está ligada por el cuantificador , y el símbolo ∀ se lee “existe al menos”.

3.1 EJEMPLOS DE CUANTIFICADOR EXISTENCIAL

Algunas de las frases con las que se identifica el cuantificador existencial son:

 Existe al menos una X

 Para algún X
 Para algunos X
 Existe un X tal que
 Algunos X
 Cuando menos un X

-(∃x) (P(x) ˄ Q(x) ) -(∃x) ( ¬P(x) ˄ ¬Q(x) )

Para algunas x, x son P y Q Para algunas x, x no son P y Q
-(∃x) P(x) -(∀x) (∃y) P(x,y)
Algunas x son P (o hay P) Para todas las x, hay una y tal que P
-(∃x) ¬P(x) ¬(∃x) P(x)
Algunas x no son P Ninguna x es P
 3.1.1 EJEMPLO 1.
1- Algunos son vegetales
2- Hay flores
3- Existen animales son existenciales o particulares para simbolizarlos lógicamente se
determinan los predicados así
V: “Ser vegetal”
F: “Ser flor”
A” Animal”
Simbólicamente los enunciados queda como sigue:

Ilustración 1: ejemplo de cuantificadores existencial

Imagen tomada de: https://medium.com/@matematicasdiscretaslibro/6-logica-de-cuantificadores-d453d859dd20

3.1.2 EJEMPLO 2.

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.
4. PRESENTACIÓN POWER POINT
 5. EJERCICIO No 2

“Si un gato no es un felino,entonces el perro es un animal domestico; si y solamnete si, los

perros son mamiferos carnivoros. Por lo tanto, un gato es felino”

5.1 PREPOSICIONES SIMPLES

 p: Gato es felino
 q: Perro es domestico
 r:Perro es mamífero carnívoro

5.1.1 LENGUAJE SIMBÓLICO

[(-p q)] [(r ∧ p)]

5.1.2 TABLA DE VERDAD

P q r -p [(-p q)] [(r ∧ p)] [(-p q)] [(r ∧ p)]

V V V F V V V

V V V F V V V
 V V F F V F F

V V F F V F F

V F V F V V V

V F V F V V V

V F F F V F F

V F F F V F F

F V V V V v V

F V V V V V V

F V F V V F f

F V F V V F F

F F V V F F V

F F V V f F V

F F F V f F V

f f f v f F V

El Resultado de la tabla es CONTINGENCIA

 5.1.3 TABLA UNAD

6. EJERCICIO No 3

“Lucia es la tia si solo si, ella no es la hermana de maria pero si la tia de juan entonces juan es el
sobrino de lucia e hijo de maria”

6.1 PREPOSICIONES SIMPLES

 p: Lucia es la tía
 q: María es la mama de juan
 r:juan es el sobrino y el hijo

6.1.1 LENGUAJE SIMBÓLICO

P [(-p v q)] r
 6.1.2 TABLA DE VERDAD

p q r -p (-p v q) P [(-p v q)] P [(-p v q)] r

V V V F V V V

V V V F V V V

V V F F V V F

V V F F V V F

V F V F F F F

V F V F F F F

V F F F F F V

V F F F F F V

F V V V V F V

F V V V V F V

F V F V V F V

F V F V V F V

F F V V V f V

F F V V V F V

F F F V V F V

F F f v v f v

El Resultado de la tabla es CONTINGENCIA

6.1.3 TABLA UNAD
 7. CONCLUSIONES

-Con la realización de este trabajo se identificó el significado de cada proporción y su

funcionalidad.
-También se identificó la utilización de falso y verdad.
-Además se aclararon las dudas sobre y cuando utilizar una proporción.

8. BIBLIOGRAFIA

-Lógica de cuantificadores: https://medium.com/@matematicasdiscretaslibro/6-logica-de-cuantificadores-

d453d859dd20