# data[].attributes.attachment_link.description
Con la evolución de la tecnología cada vez más personas tienen acceso a un ordenador, ya sea en su casa, en la escuela, en el trabajo o en cualquier otro lugar. Los usuarios más curiosos pueden plantearse preguntas como: "¿cómo consiguen hacer esto? ", "¿como podría hacerlo o aprenderlo yo?", "¿cómo es un ordenador internamente?"

# data[].attributes.attachment_link.description
Un fascinante y clarificador viaje por la historia y el sentido actual de la matemática.

# data[].attributes.attachment_link.title
Aritmética - Lógica Proposicional (Prob. Cortito)

# data[].attributes.attachment_link.title
Curso Lógica y Usos: Funciones e identidad

# data[].attributes.body
LÓGICA DE PREDICADOS
CUANTIFICADORES

# data[].attributes.attachment_link.readable_text
El estudio de la lógica de proposiciones descubre dos cosas fundamentales: expresiones que se refieren a individuos y expresiones que se refieren a propiedades de individuos o relaciones entre ellos.
Los enunciados estudiados hasta los capítulos anteriores han sido singulares, es decir, sus atributos no van adscritos a algún individuo9 en particular o a determinada relación entre dos o más individuos. Sin embargo, muchas veces se requiere conocer cuántos individuos cumplen con cierta propiedad o entre cuántos individuos se da cierta relación. Para tal fin, se utilizan enunciados cuantificados o expresiones lógicas denominadas cuantificadores, los cuales se identifican como todos o algunos cumplen cierta propiedad.
La lógica de cuantificadores también llamada "lógica de predicados" examina la parte interna del enunciado, sin alejarse de la lógica de proposiciones.
Los predicados se dividen en dos tipo: los predicados monádicos (adscriben la propiedad a un solo nombre) y los predicados poliádicos (adscriben la propiedad a dos o más nombres). En este texto haremos referencia a los predicados monádicos.
Gottlob Frege (1848-1925) matemático lógico y filósofo alemán es considerado usualmente como el fundador y aún el creador de la Lógica Matemática Moderna. En 1879 publicó la obra Escritura conceptual, en la que le dio naturaleza a la lógica matemática moderna, mediante la introducción de una nueva sintaxis, en la que destaca la inclusión de los llamados cuantificadores (universal y particular), siendo el primero en separar la caracterización formal de las leyes lógicas de su contenido semántico.
La lógica de Frege, contrasta radicalmente con las contribuciones de Peirce, dándole claridad a sus análisis lógicos y conceptuales.

Un enunciado está formado por dos partes fundamentales: el nombre del individuo que simplemente se denomina "nombre" y la característica o relación del individuo que llama "predicado".
El nombre se denotará con las primeras letras del alfabeto (a, b, c, d, etc.) y el predicado por una letra mayúscula que abrevie toda la expresión que designa toda la propiedad o relación del nombre y se escribe delante del nombre. El texto del predicado se pone entre comillas y su enunciado se escribe con el verbo en infinitivo.
Veamos el siguiente enunciado y determinemos las dos partes fundamentales del enunciado:

"Aristóteles es el fundador de la lógica"

El nombre es Aristóteles y lo denotaremos con la letra "a" y el predicado se abreviará con "F" y corresponderá a:

F:"ser el fundador de la lógica"

Por consiguiente el enunciado quedará abreviado como "Fa" y leerá "F de a" o "F se dice a".

Analicemos la expresión

"x es el fundador de la lógica"

Un enunciado como el anterior se determina como enunciado abierto. Evidentemente se puede notar que, "x" no es el nombre de un individuo en particular tal como lo es "a"; es decir, x no es una constante; x es una variable que puede ser sustituida por cualquier nombre de individuo (en este caso el nombre de una persona) formando así una proposición. La expresión no es una proposición; es un enunciado abierto, porque no se puede asegurar que es verdadero o falso.
En efecto, veamos algunos casos: Si x toma el valor Luis XV, el enunciado quedaría:

"Luis XV es el fundador de la lógica",

que es una proposición falsa.
Si x es Pitágoras el enunciado quedaría:

"Pitágoras es el fundador de la lógica",
que es una proposición falsa.
Si x es Aristóteles se
"Aristóteles es el fundador de la lógica"
que es una proposición verdadera

Se puede observar que el enunciado algunas veces es falso y otras veces es verdadero. Luego, el enunciado se podría escribir
"algún x es el fundador de la lógica"

y se denominará "enunciado particular"
Ahora, analicemos el enunciado
"x es idéntico a si mismo"
Este enunciado es equivalente a
"x es idéntico a x"

Observe que cualquier nombre que sustituya a x forma una proposición verdadera, pues cualquier individuo es idéntico a si mismo. Por lo tanto, el enunciado se podría escribir
"todo x es idéntico a si mismo"
y se llamará "enunciado universal".

Los enunciados en los cuales se presentan expresiones tales como algunos (o existe o hay), todo (o siempre o cada) se denominan cuantificador existencial (o particular) y cuantificador universal (o referencial), respectivamente.
Ejemplo de enunciados cuantificados: Hay árboles, todos son árboles, algunos números, siempre son números, algunos árboles son maderables, todos los árboles son maderables, hay árboles maderables que tiene flores, los árboles maderables tienen flores.

Para denotar un enunciado cuantificado se escribe el cuantificador correspondiente seguido del predicado del enunciado cuantificado. El predicado previamente se escribe con letras mayúsculas, seguido de dos puntos; entre comillas se agrega el enunciado afirmativo, utilizando el verbo principal en infinitivo.

Ejemplo 6.1: los enunciados "algunas flores" y "todas las flores" tienen como predicado
F: "ser flor"

Ejemplo 6.2: los enunciados

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: "ser animal"
Simbólicamente los enunciados quedan como sigue:

Los enunciados de la forma: para todo, siempre o cualquiera se denominan enunciados universales o referenciales. Para trascribirlos se utiliza el denominado cuantificador universal y se simboliza con

Sea P el predicado y x el elemento indefinido que cumple el predicado

Ejemplo 6.3: los enunciados

2. Cualquier flor

3. Siempre son animales
son referenciales o universales.
Para simbolizarlos lógicamente se determinan los predicados así:
V: "ser vegetal"

F: "ser flor"

A: "ser animal"
Simbólicamente los enunciados quedan como sigue:

Cuando se tiene un enunciado existencial se está afirmando que hay o existen individuos que cumplen la propiedad. Ejemplo, el enunciado "algunas hojas de árboles son de color rojo" se está afirmando que existen hojas de árbol que son de color rojo.
Sin embargo, no sucede lo mismo cuando se tiene un enunciado universal no se está asegurando que existan individuos que cumplan la propiedad dada. Por ejemplo, "todas las hojas de árboles son de color rojo". Este enunciado no está afirmando que existan árboles con hojas; simplemente se está afirmando que cualquiera que sea hoja de árbol deberá ser de color rojo.

Se llama enunciado compuesto a aquellos enunciados que tienen dos o más predicados (vea figura 6.1).

Para usar correctamente el cuantificador tenga en cuenta lo siguiente:

. Los enunciados particulares utilizan la conjunción como conectivo principal

Los enunciados particulares se expresan enlazando los predicados con una conjunción, porque lo atribuido a un predicado también se le atribuye al otro.
. Los universales utilizan el condicional como conectivo principal.

Los enunciados universales se expresan enlazando los predicados con un condicional, porque lo atribuido al primer predicado es condición suficiente de lo atribuido al segundo predicado.

Ejemplo 6.4: trascriba al lenguaje simbólico los enunciados

1 Hay flores rojas

2 Para toda flor roja

3 Algún hombre sin empleo es un delincuente en potencia
Los enunciados 1 y 2 tienen los siguientes predicados:

F:"ser flor"

R:"ser roja"

El enunciado del numeral 3 lleva los siguientes predicados:

H:"ser hombre"

T:"tener empleo"

D:"ser un delincuente en potencia"
La expresión trascrita al lenguaje simbólico es:

que se leería en lenguaje corriente: "hay un x tal que x es un hombre que no tiene empleo y es un delincuente en potencia".

Para negar un enunciado cuantificado, basta con cambiar el cuantificador y negar la afirmación o predicado (vea figura 6.2). En la negación del predicado deberá utilizar las leyes del álgebra proposicional vistas en el capítulo 1.

Ejemplo 6.5: niegue los enunciados del ejemplo 6.4 y exprese su resultado en lenguaje corriente

Algunos enunciados cuantificados llevan combinación de cuantificadores que se diferencian por el orden en que se disponen, con el fin de conformar una expresión (ver figura 6.3). Con el propósito de aclarar el significado mediante el simbolismo lógico de cada expresión, se recomienda poner paréntesis.

Ejemplo 6.5: Determine si los siguientes enunciados son equivalentes

. "Para todo número racional diferente de cero hay otro racional tal que el producto entre ellos es 1".

. "Hay un número racional diferente de cero que al multiplicarlo por otro racional el resultado es 1".

Para darle solución a este problema se sugiere escribir ambos enunciados en lenguaje simbólico y luego determinar el valor de verdad de cada uno. En efecto, escribamos simbólicamente la afirmación del primer enunciado.

Ahora, escribamos el segundo enunciado

Si analizamos el primer enunciado se puede deducir que este es verdadero, porque basta con multiplicarlo por su inverso multiplicativo a cualquier racional; por ejemplo, 5*(1/5)=1 ó (-12)*(1/(-12))=1; en general, si y= 1/x se tiene que x*(1/x)=1 para todo entero x≠0.

En el segundo caso se tiene que es falso, porque no hay un número racional tal que al multiplicarlo por cualquier racional resulte 1; por ejemplo, 5 y 4 son números racionales y 5*4≠1.

Efectivamente, los enunciados no son lógicamente equivalentes. Por consiguiente, del anterior ejemplo nos permite concluir que en general

Observe que el orden del cuantificador en el enunciado es importante para determinar el valor de verdad.

¿Qué se puede decir del enunciado: "cualquier número natural se resta cualquiera otro número natural se obtiene otro número natural"?

Ejemplo 6.6: determine el valor de verdad de los siguientes enunciados:

. Para todo número real se tiene otro número real que al sumarlos su resultado es cero.

.Hay números reales que al sumarles cualquier número real resulta cero.

1. Seleccione la opción equivalente a la negación de los siguientes enunciados:

2. 1 Algunas circunferencias no tienen radio positivo

A) No es cierto que toda circunferencia tenga radio positivo

B) Toda circunferencia no tiene radio positivo

C) Una circunferencia siempre tiene radio positivo

D) Ninguna circunferencia tiene radio positivo

E) No hay circunferencias con radio positivo

1.2 Ningún rectángulo es cuadrado

A) Cualquier rectángulo es un cuadrado

B) Algunos rectángulos son cuadrados

C) Hay rectángulos que no son cuadrados

D) Todos los cuadrados son rectángulos

E) Hay cuadrados que son rectángulos

1.3 Algunos caballos no son de paso fino

A) Los caballos no son de paso fino

B) Hay caballos de paso fino

C) Cualquier caballo es de paso fino

D) Existen caballos que no son de paso fino

E) Los caballos no son de paso fino

1.4 No es cierto que todos los árboles no son pinos

A) Hay pinos que son árboles

B) Algunos árboles son pinos

C) Cualquier árbol es pino

D) Ningún árbol es pino

E) Todo árbol es pino

5 Todo preso que no haya sido condenado ni absuelto o se entristece terriblemente o puede llegar al suicidio

A) Algunos presos no condenados pero absueltos se entristecen terriblemente o llegan a suicidio

B) Existen presos condenados o absueltos que ni se entristecen ni llegan al suicidio

C) Hay presos que no han sido condenados ni absueltos que ni se entristecen ni llegan al suicidio

D) Algún preso no condenado ni absuelto se entristece terriblemente pero no llega al suicidio

E) Algún preso no condenado ni absuelto si se entristece terriblemente no llegan al suicidio

1.6 No siempre se da que los estudiantes se interesen en el tema

A) Algunos estudiantes no se interesan en el tema

B) Siempre los estudiantes se interesan en el tema

C) Hay estudiantes que se interesan en el tema

D) Ninguno de los estudiantes se interesa en el tema

E) Hay estudiante que no se interesan en un tema
2. Para solucionar los enunciados 2.1 y 2,4 realice lo siguiente:

. Transcríbalos al lenguaje lógico, indicando los predicados.

.Niegue el enunciado, justificando cada paso.

.Escoja el resultado en lenguaje corriente del literal enunciado ya negado.

2.1 "Todo preso que no haya sido condenado ni absuelto o se entristece terriblemente o puede llegar al suicidio"

A) Algunos presos no condenados pero absueltos se entristecen terriblemente o llegan a suicidio

B) Existen presos condenados o absueltos que ni se entristecen ni llegan al suicidio

C) Hay presos que no ha sido condenados ni absueltos y ni se entristecen ni llegan al suicidio

D) Algún preso no condenado ni absuelto se entristece terriblemente pero no llega al suicidio

E) Algún preso no condenado ni absuelto no llega al suicidio, pero se entristece terriblemente

2.2 "Cualquier estudiante que no se interesa en un tema, si lo estudia lo aprende"

A) Hay estudiantes interesados en un tema que no lo estudian y lo aprenden

B) Existen estudiantes no interesados en un tema que si lo estudian lo aprenden

C) Algunos estudiantes no interesados en un tema lo estudian y no lo aprenden

D) Hay estudiantes interesados en un tema que si lo estudian lo aprenden

E) Hay estudiantes interesados en un tema que lo estudian pero no lo aprenden

2.3 Todo preso que no haya sido condenado ni absuelto o no se entristece terriblemente o puede llegar al suicidio"
A) Algunos presos no condenados pero absueltos, se entristecen terriblemente pero no llegan al suicidio

B) Existen presos condenados o absueltos que ni se entristecen ni llegan al suicidio

C) Algunos presos que no han sido condenados ni absueltos, que se entristecen terriblemente y llegan al suicidio

D) Hay presos que no ha sido condenados ni absueltos que ni se entristecen ni llegan al suicidio

E) Algún preso no condenado ni absuelto que si se entristece terriblemente, no llega al suicidio

2.4 "Todo preso que no haya sido condenado ni absuelto, si no se entristece terriblemente no llegará al suicidio"

A) Algunos presos no condenados pero absueltos, se entristecen terriblemente o llegan a suicidio

B) Existen presos condenados o absueltos que ni se entristecen ni llegan al suicidio

C) Algún preso no condenado ni absuelto se entristece terriblemente y no llega al suicidio

D) Hay presos que no ha sido condenados ni absueltos que ni se entristecen ni llegan al suicidio

E) Algunos presos que no han sido condenados ni absueltos, no se entristecen terriblemente, pero llegan al suicidio

Resuelva los problemas 3.1 a 3.6 y seleccione la respuesta correcta según las siguientes situaciones:

A) Si 1 y 2 son correctas

B) Si 2 y 3 son correctas

C) Si 3 y 4 son correctas

D) Si 2 y 4 son correctas

E) Si 1 y 3 son correctas

3.1 "Ningún animal cuadrúpedo pone huevo y tiene patas palmípedas", compruebe a cual de los siguientes enunciados es equivalente:

Hay animales cuadrúpedos que no ponen huevos y tampoco tienen patas palmípedas

2. No hay animales cuadrúpedos que pongan huevos y tengan patas palmípedas

3. Los animales cuadrúpedos ni ponen huevos ni tienen patas palmípedas

4. Los animales cuadrúpedos si ponen huevos, entonces no tienen patas palmípedas

3.2 La negación del enunciado "el cuadrado de cualquier número primo es par" es:

Ningún número primo al cuadrado es par

2. Existen números primo al cuadrado que no son es pares

3. Siempre es par el cuadrado de un número primo

4. Algunos números primos al cuadrado son impares

3.3 La negación del enunciado "cualquier alimentos si tiene grasa animal, produce colesterol, por consiguiente no debe consumirse diariamente" es:

Existen alimentos que tienen grasa animal, produce colesterol y por consiguiente no debe consumirse diariamente

2. Hay alimentos que como producen colesterol no tienen grasa animal, pero se consumen diariamente.

3. Un alimento tal que si tiene grasa animal, produce colesterol y se consume diariamente.

4. Algunos alimentos tienen grasa animal, producen colesterol, por consiguiente no debe consumirse diariamente

3.4 La negación del enunciado "hay estudiantes irresponsables pero inteligentes que no son buenos profesionales, pero desempeñan buenos cargos" es equivalente a:

Ningún estudiante irresponsable e inteligente desempeña buenos cargos sin ser buen profesional

2. Ningún estudiante irresponsable e inteligente si no es buen profesional no desempeña buenos cargos

3. Ningún estudiante irresponsable e inteligente, cuando no es buen profesional no desempeña buenos cargos

4. Ningún estudiante irresponsable e inteligente si desempeña buenos cargos es buen profesional

3.5 La negación de enunciado: "hay estudiantes irresponsables pero inteligentes que no son buenos profesionales, pero desempeñan buenos cargos", es equivalente a:
1. Ningún estudiante irresponsable e inteligente desempeña buenos cargos sin ser buen profesional

2. Ningún estudiante irresponsable e inteligente si no es buen profesional desempeñará buenos cargos

3. Cualquier estudiante irresponsable e inteligente si desempeña buenos cargos es buen profesional

4. Ningún estudiante irresponsable e inteligente, si no es buen profesional, desempeñará buenos cargos Respuesta: ___

3.6 La negación de enunciado: "hay estudiantes irresponsables pero inteligentes que no son buenos profesionales, pero desempeñan buenos cargos", es equivalente a:
1. Ningún estudiante irresponsable e inteligente, si desempeña buenos cargos será buen profesional

2. Cualquier estudiante irresponsable e inteligente, si no es buen profesional no desempeñará buenos cargos

3. Cualquier estudiante irresponsable e inteligente, si desempeña buenos cargos será buen profesional

4. Ningún estudiante irresponsable e inteligente, si no es buen profesional no desempeñará buenos cargos Respuesta: ___

Exprese en lenguaje simbólico los siguientes enunciados

1.1 Ningún triángulo equilátero puede ser isósceles

2 Los perros grandes que ladran no muerden

1.3 Los países violentos padecen de hambre y miseria

4 No todos los hombres y mujeres tienen la capacidad de abstraer

1.5 Cualquier ser humano que sea estudioso, amable, razonable e inteligente puede llegar a ser un buen profesional y ocupar altos cargos

6 Un animal agresivo no puede servir de mascota de niños

1.7 Hay seres carnívoros que no son animales

8 Existen seres inteligentes que no son domésticos, pero sirven de mascota para los invidentes.

1.9 Los estudiantes irresponsables si son inteligentes pueden ganar las materias y ser promovidos al siguiente curso.

10 Existen perros criollos que ladran y no muerden, pero si son molestados pueden morder ferozmente.

2. Escriba en lenguaje simbólico los enunciados

2.1 "Para todo número entero hay otro entero tal que al sumarlos resulta cero" 2.2 "La suma de algún número entero con cualquiera otro es cero"

2.3 "La suma de cualquier número entero con cualquiera otro entero es cero" 2.4 "La suma de un número entero con algún otro entero es cero"

2.5 "Algunos perros que ladran echados, si son criollos, muerden"

2.6 "Las mujeres, si les dan la oportunidad, mandan en el hogar"

2.7 "Cualquier alimento de grasa animal produce enfermedades del corazón" 2.8 "Los elefantes y las hienas en la selva mantienen la misma jerarquía de matriarcado que los seres humanos en sus hogares

2.9 Los parasicólogos que toman su oficio con ironía no son inteligentes

3. Refute los enunciados Falsos (F); compruebe los enunciados verdaderos (V); a los enunciados Inciertos (I) dé un contraejemplo a la parte falsa y compruebe con un ejemplo la parte verdadera; según las siguientes situaciones:

# data[].attributes.attachment_link.description
El estudio de la lógica de proposiciones descubre dos cosas fundamentales: expresiones que se refieren a individuos y expresiones que se refieren a propiedades de individuos o relaciones entre ellos. Los enunciados estudiados hasta los capítulos anteriores han sido singulares, es decir, sus atributos no van adscritos a algún individuo9 en particular o a determinada relación entre dos o más individuos.

# data[].attributes.body
TRADUCCIÓN DE ENUNCIADOS

# data[].attributes.body
Logica problema de olimpiada Singapur 2015

# data[].attributes.attachment_link.title
El cumpleaños de Cheryl. Problema de lógica matemática. Olimpiada Matemática Singapur 2015.