CUANTIFICADORES, PREPOSICIONES Y CONECTORES LOGICOS

Esleider Yair Esquea Galván

Octubre 2020.

Universidad de la Guajira

Riohacha/ La Guajira

Ciencias humanas y sociales- Derecho

Lógica Matemática

1
 CONTENIDO

INTRODUCCION ......................................................................................................................... 3

OBJETIVOS .................................................................................................................................. 4

Objetivos generales .................................................................................................................... 4

Objetivos específicos ................................................................................................................ 4

CUANTIFICADORES................................................................................................................... 5

• TIPOS DE CUANTIFICADORES: ................................................................................... 6

• CUANTIFICADOR EXISTENCIAL UNICO ................................................................... 6

EQUIVALENCIAS……….......………….......................................................................... 7, 8,9,10

PREPOSICIONES……………………………............................................................................ 11

¿COMO SE PUEDEN IDENTIFICAR LAS PREPOSICIONES?.............................................. 12

TIPOS DE PREPOSICIONES......................................................................................................13

COMO SABER SI ES UNA PREPOSICION VERDADERA O FALSA....................................14

CONECTORES LOGICOS ......................................................................................................... 15

LISTA DE CONECTORES LOGICOS ...................................................................................... 16

RESIPROCA, CONTRARRESIPROCA E INVERSA............................................................... 17

COIMPLICACION…. ....................................................................................................... ...... 18

CONCLUSION ........................................................................................................................... 19

2
BIBLIOGRAFIA.......................................................................................................................... 13

3
 INTRODUCCION

En este trabajo trataremos de ser lo más explícitos y claros sobre los temas que se desarrollaran,

dentro de los cuales encontraran: cuantificadores, preposiciones y conectores lógicos y todo lo

relacionado con estos términos. Puesto que propuesta aquí no es solo obtener una calificación

buena, si no aprender y que el lector u oyente tenga un nuevo conocimiento o conocimientos

dependiendo cual sea el caso al terminar de leer y comprender nuestro escrito.

También lo que se quiere, es que el estudiante o la persona, al leer estas investigaciones extraídas

de diferentes fuentes aquí presentadas y en su mayoría de contenido dirigida a todo tipo de

personas. No siendo más acá les dejo para que disfruten el contenido lectivo.

Disfruten.

4
 OBJETIVOS

Objetivos generales

Esperamos que puedan ampliar su conocimiento a través del siguiente trabajo donde

nuestro objetivo es brindarle información clara al lector para que pueda comprender el

tema de la manera más sencilla, que puedan incluso adquirir nuevos conocimientos acerca

del significado de cuantificadores, preposiciones y conectores lógicos.

Objetivos específicos

• Tener claridad de cuáles son los significados de cada uno de estos temas

• De qué manera se llevan a cabo sus ejercicios y ejemplos

• Identificar estos temas de manera clara y concisa

5
 CUANTIFICADORES

En lógica matemática, teoría de conjuntos y matemáticas en general, 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án:

Cuantificador universal

∀x,y…

Para todo x, y...

Cuantificador existencial

∃x,y…

Existe al menos un x, y...

Cuantificador existencial único

∃!x,y…

Existe exactamente un x, y...

Negación del cuantificador existencial

∄x,y… No existe ningún x, y...

6
 Tipos de Cuantificadores

Cuantificación universal

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

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

7
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 único

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

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

Las expresiones:

Todo hombre es mortal.

Algunos hombres son sabios.

Pueden traducirse respectivamente como:

9
Para todo x, si x es hombre entonces x es mortal.

Existe un x, tal que x es hombre y x es sabio.

Otros giros utilizados para la expresión "para todo x", son:

Todo x

Cualquiera x

Cada x

que se simbolizan por ""x" y se llama cuantificador universal.

Otros giros utilizados para la expresión "Existe un x" son:

Hay x

Existe x, tal que

Algún x

Algunos x

Que se simbolizan por "$x" y se llama cuantificador existencial.

Existen tres formas de convertir una función proposicional P(x) en una proposición a saber:

10
  Haciendo la sustitución de las variables por un término específico.

 Anteponiendo la expresión "para todo x" o cuantificador universal.

 Anteponiendo la expresión "existe al menos un x" o cuantificador existencial.

 El enunciado "existe al menos un x tal que P(x)" se representa como:

$xP(x) (x es ligada al cuantificador)

El enunciado "para todo x, P(x)" se representa como:

"xP(x) (x es ligada al cuantificador)

"xP(x) es verdadera cuando todos los x1, x2,..., xn se cumplan en P(x1) Ù P(x2) Ù ... P(xn) es
verdadero.

$xP(x) es verdadero cuando al menos un caso x1, x2,..., xn se cumplan en P(x1) Ú P(x2) Ú...
P(xn) es verdadero.

Ejemplo:

Todo estudiante de esta clase ha estudiado cálculo.

P(x): "x es estudiante de la clase de MDI"

Q(x) : "x ha estudiado cálculo"

"x(P(x) ® Q(x))

11
P(x) : "x + 1 > x" es verdadera la proposición "xP(x), cuál es el universo del discurso donde es
verdadero.

Q(x) : "x < 2" es verdadera la proposición "xQ(x) el universo de los reales.

P(x) : "x*x <10" cuál es el universo del discurso donde es verdadero.

12
 PREPOSICIONES

Una proposición lógica es cualquier expresión que puede ser verdadera o falsa, pero no las dos al

mismo tiempo, Una proposición es una afirmación con sentido completo, y constituye la forma

más elemental de la lógica. Las proposiciones brindan información sobre un acontecimiento

falsable, es decir, que puede ser falso o verdadero.

Las proposiciones se clasifican en dos tipos: Simples y Compuestas, dependiendo de cómo están

conformadas. Son aquellas que no tienen oraciones componentes afectadas por negaciones ("no")

o términos de enlace como conjunciones ("y"), disyunciones ("o") o implicaciones ("sí . . .

entonces").

Cuando estamos hablando de proposiciones generalmente decimos que son combinaciones de lo

falso y lo verdadero, pero lo verdadero termina siendo verdadero si se demuestra, valga la

redundancia y lo falso es cuando no se demuestra lo que se tenía pensado hacer con el ejercicio

en cuestión.

¿Cómo se pueden identificar las preposiciones?

Qué es una proposición. Es toda oración o enunciado al que se le puede asignar un cierto valor (v

o f). Si no puede concluir que es verdadero o falso no es proposición. Es cualquier agrupación de

palabras o símbolos que tengan sentido y de la que en un momento determinado se pueda

asegurar si es verdadera o falsa.

13
 TIPOS DE PROPOSICIONES

Las proposiciones se clasifican en dos tipos: Simples y Compuestas, dependiendo de como están

conformadas. Son aquellas que no tienen oraciones componentes afectadas por negaciones ("no")

o términos de enlace como conjunciones ("y"), disyunciones ("o") o implicaciones ("si . . .

entonces").

Tipos de proposiciones

En adelante cuando hablemos de proposiciones, éstas serán lógicas. Si son abiertas, significará

que el conjunto de sustituciones está bien definido y la harán verdadera o falsa. Para operar con

las proposiciones, éstas se clasifican en dos tipos: Simples y Compuestas, dependiendo de como

están conformadas.

Proposiciones Simples

Son aquellas que no tienen oraciones componentes afectadas por negaciones ("no") o términos

de enlace como conjunciones ("y"), disyunciones ("o") o implicaciones ("si . . . entonces").

Pueden aparecer términos de enlace en el sujeto o en el predicado, pero no entre oraciones.

Proposiciones Compuestas

Una proposición será compuesta si no es simple. Es decir, si está afectada por negaciones o

términos de enlace entre oraciones componentes.

14
¿Cómo saber si una proposición es verdadera o falsa?

Se usa el símbolo ∧ para indicar la palabra y. De esta manera, P∧Q significa P y Q . La

proposición P ∧ Q es verdadera si ambas proposiciones P y Q son verdaderas. En cualquier otro

caso, es falsa.

¿Qué es una proposición abierta ejemplos?

Una proposición abierta es aquella en la cual no se puede indicar cuando la proposición es

Verdadera o Falsa, ya que el sujeto no está definido o no se conoce, siendo entonces una

incógnita. En el banco tengo X cantidad de dinero.

Una proposición cerrada es aquella en la cual si se puede indicar su valor como Verdadera o

Falsa, ya que el sujeto está definido.

Ejemplos:

Madrid es la capital de Francia

El 11 es un número primo

15
 CONECTORES LOGICOS

En lógica, una conectiva lógica, o también conectiva, (también llamado operador lógico o

conectores lógicos) es un símbolo o palabra que se utiliza para conectar dos fórmulas bien

formadas o sentencias (atómicas o moleculares), de modo que el valor de verdad de la fórmula

compuesta depende del valor de verdad de las fórmulas componentes.

Los conectivos lógicos más comunes son los conectivos binarios (también llamados conectivos

diádicos) que unen dos frases, que pueden ser consideradas los operandos de la función.

También es común considerar a la negación como un conectivo monádico.

Las conectivas lógicas son, junto con los cuantificadores, las principales constantes lógicas de

muchos sistemas lógicos, principalmente la lógica proposicional y la lógica de predicados.

En programación se utilizan para combinar valores de verdad y obtener nuevos valores que

determinen el flujo de control de un algoritmo o programa.

Lista de conectivos lógicos comunes

Conectivos lógicos comúnmente usados:

Negación (no): ¬, ~

Conjunción lógica (y): ∧, y, ∙

16
Disyunción lógica (o): ∨

En el caso de la disyunción 'o', tiene dos significados diferentes: "Inclusivo" y "Exclusivo".

Inclusivo: En este caso, para que la proposición sea cierta, tiene que ser verdadero uno o todos

los elementos de la premisa.

Exclusivo: El 'o' exclusivo o Xor. En una premisa, p o q es verdadero, pero no ambos pueden

serlo.

Condicional material (Si... entonces): →, ⇒, ⊃

Bicondicional (si y solo si): ↔, ≡, =

Nombres alternativos para bicondicional son "sii", "xnor" y "bi-implicación."

Por ejemplo, el significado de los estados está lloviendo y estoy en el interior se transforma

cuando los dos se combinan con conectivos lógicos:

No está lloviendo

Está lloviendo y estoy dentro de casa (P ∧ Q)

Está lloviendo o estoy dentro de casa (P ∨ Q)

17
Si está lloviendo, entonces estoy en casa. (P → Q)

Si estoy en casa, entonces está lloviendo. (P ← Q)

Estoy dentro si y solo si está lloviendo (P ↔ Q)

No está lloviendo (¬ P)

Por declaración P = Está lloviendo; Q = Estoy dentro de casa.

También es común considerar la fórmula siempre verdadera y la fórmula siempre falsa como

conectivos

Verdadero (⊤, 1 o T)

Falso (⊥, 0 o F)

Recíproca, contrarrecíproca e inversa

La contrarrecíproca ¬q→¬p de una implicación p→q tiene la misma tabla de verdad que p→q.

La contrarrecíproca es falsa solo cuando ¬p es falsa y ¬q es verdadera, esto es, solo cuando p es

verdadera y q es falsa. Por otra parte, ni la recíproca, q→p, ni la inversa, ¬p→¬q, tienen los

mismos valores de verdad que p→q para todos los posibles valores de p y q. Cuando dos

fórmulas tienen siempre los mismo valores de verdad, las llamamos equivalentes, de tal forma

18
que una implicación y su contrarrecíproca son equivalentes. La recíproca y la inversa de una

implicación también son equivalentes.

q→p es la recíproca de p→q

¬q→¬p es la contrarrecíproca de p→q

¬p→¬q es la inversa de p→q

Ejemplo: Recíproca, contrarrecíproca e inversa de "Sí viene Juan, no iré de acampada".

Recíproca: Si no voy de acampada, entonces viene Juan.

Contrarrecíproca: Si voy de acampada, entonces no viene Juan.

Inversa: Si no viene Juan, entonces iré de acampada.

COIMPLICACIÓN

Aquí podemos encontrar la implicación o condicionalidad mutua. Si p y q son proposiciones,

entonces podemos formar la proposición bicondicional p ↔ q , leída «p si y solo si q ».Si p y q

son los enunciados «Estoy en casa» y «Está lloviendo», entonces p ↔ q denota «Estoy en casa si

y solo si está lloviendo».

19
Algunas formas alternativas en que se expresa «p si y solo si q» en español:

p es necesario y suficiente para q

si p entonces q, y recíprocamente

p si y solo si q

20
 CONCLUSION

En cuanto lo que se explica anteriormente podemos comprender los significados, ejemplos,

diferencias entre otras cosas que se han planteado en este trabajo investigativo en el cual

podemos aprender de ejercicios y como llevar a cabo cada uno de estos.

Este trabajo se basa en tres temas en específico, pero cada uno de estos tienen mucha importancia

tanto como el lector como para el obtiene y quiere aprender sobre estos

21
 BIBLIOGRAFIA

• https://es.wikipedia.org/wiki/Conectiva_l%C3%B3gica#:~:text=En%20l%C3%B3gica

%2C%20una%20conectiva%20l%C3%B3gica,valor%20de%20verdad%20de%20las

• https://www.google.com/search?

q=como+sacar+la+ecuacionde+la+racta&rlz=1C1CHBF_esCO867CO867&oq=como+sa

car+la+ecuacionde+la+racta&aqs=chrome..69i57j0i13j0i22i30l5.7794j0j7&sourceid=chr

ome&ie=UTF-8

• http://132.248.17.238/calculo/Logica/l_logic07_d.html

• https://sites.google.com/site/mathematicasdiscretesolutions/logica-de-po/cuantificadores

22