UNIVERSIDAD DE LA GUAJIRA

FACULTAD DE CIENCIAS SOCIALES Y HUMANAS

PROGRAMA DE DERECHO

TRABAJO DE LOGICA MATEMATICA

ALUMNA:

CRISTIAN JAVIER FUENTES

MARÍA MICAELA ALBERTO GIL

MELISA LINEY REMOLINA OROZCO

MICHELLE VANESSA CASTAÑEDA MORALES

PAULA ANDREA GUTIÉRREZ RIVADENEIRA

RAMÓN ALEXANDER GÓMEZ GALLEGO

DOCENTE:

AMADO DE JESUS MARIN BARROS

 ABRIL DE 2022

CUANTIFICADOR UNIVERSAL Y EXISTENCIAL

PROPOSICIONES CATEGÓRICAS

¿Qué es un cuantificador?

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, pero hablaremos en este trabajo solo de dos:

A. Cuantificador Universal

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

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

Se lee de la siguiente manera

Ejemplos

1. Todos son vegetales

2. Cualquier flor

3. Siempre son animales

Son referenciales o universales.

Para simbolizarlos lógicamente se determinan los predicados de la siguiente manera

V: “ser vegetal”

F: “ser flor”

A: “ser animal”

Simbólicamente los enunciados quedan así:

 B. Cuantificador existencial

El cuantificador existencial se utiliza para indicar que hay uno o más recursos en el grupo A
(no precisamente único/s) que cumplen con cierta propiedad.

En el lenguaje de predicados en lógica matemática, se utiliza el signo: ∃

En la lógica de las matemáticas y de la teoría de conjuntos, los cuantificadores son

símbolos que se emplean en los mencionados entornos para lograr señalar cuantos o los
tipos de recursos que unen un grupo dado y que cumplen con definida propiedad.

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

A={x∈U:P(x)} Se define el grupo A, como el de los recursos x de U, que cumplen P(x).
 C. Cuantificador existencial único

Podríamos decir que un cuantificador existencial único o con marca única, se usa para
indicar que en un determinado conjunto, solo hay un elemento que cumple con una
determinada propiedad.

Se denota por el símbolo

EJEMPLO: Hay 32 estudiantes de derecho, si todos cumplimos con las actividades

propuestas nos graduaremos algún día de abogados.

X: hay 25 estudiantes de derecho.

A: si todos cumplimos con las actividades propuestas.

P(x): nos graduamos como abogados.

Así se escribe la ecuación: ᴲ!xϵA:P(x)

¿Qué es una proposición categórica?

En lógica, una proposición categórica, o declaración categórica, es una proposición que

afirma o niega que todos o algunos de los miembros de una categoría estén incluidos en
otra.

Las proposiciones categóricas son:

A. Proposiciones categóricas universales y particulares (afirmativas y negativas).

Ya sean universales o particulares, todas las proposiciones pueden ser afirmativas o

negativas.

Las afirmativas son las que confirman la afirmación que se hace. Es decir, respaldan
positivamente el predicado de la oración. Ejemplo de una proposición universal afirmativa
es “todos los abogados conocen las leyes”. En esta se afirma positivamente que todo el
grupo del sujeto realiza la acción del predicado.

Una proposición particular afirmativa es “algunos abogados son corruptos”. En esta no se

incluye al grupo completo dentro del predicado, sino solo unos elementos de este.
Negativas. Mientras, las proposiciones negativas niegan la veracidad de la afirmación. La
oración “ningún abogado está por encima del juez” es una proposición universal
negativa. Esta afirma la negación del predicado en todo el grupo al que hace referencia.

Mientras que una oración con la estructura de “algunas aves no vuelan” es una
proposición particular negativa. Esta niega la pertenencia de una parte del grupo al
predicado.