Está en la página 1de 20

S5

LÓGICA MATEMÁTICA Y DIGITAL


Lógica cuantificacional

Todos los derechos de autor son de la exclusiva propiedad de IACC o de los otorgantes de sus
licencias. No está permitido copiar, reproducir, reeditar, descargar, publicar, emitir, difundir, poner a
disposición del público ni utilizar los contenidos para fines comerciales de ninguna clase.
APRENDIZAJES
ESPERADOS

El estudiante será capaz de:


Reconocer cuantificación de proposiciones
basado en su estructura y simbolización.

2
ÍNDICE
APRENDIZAJE ESPERADO 2
ABSTRACT 5
INTRODUCCIÓN 6
1. LÓGICA CUANTIFICACIONAL 7
1.1 PROPOSICIONES CATEGÓRICAS 9
1.2 ESTRUCTURA DE UNA PROPOSICIÓN CATEGÓRICA 9
1.3 SIMBOLIZACIÓN DE PROPOSICIONES CATEGÓRICAS 11
COMENTARIO FINAL 18
REFERENCIAS 19

3
Antes de comenzar, te
invitamos a reflexionar Lee el título del contenido,
sobre las preguntas ¿de qué crees que se tratará
que se presentan a el tema de la semana?
continuación:

¿Pueden las proposiciones estar


conformadas por más de un
sujeto?

¿Crees que se pueda


representar ¿Qué importancia
simbólicamente una tendrán los predicados
proposición de más de en las proposiciones?
una manera?

¿Qué sé o ¿Qué espero


conozco acerca de aprender esta
las proposiciones semana?
categóricas?

Recuerda escribir en un
cuaderno tus respuestas,
para que una vez
finalizada la semana
puedas complementar tus
respuestas con lo
aprendido.
ABSTRACT

Las proposiciones categóricas y el estudio de la lógica cuantificable abren una gran puerta relaciona-
da con la evaluación de proposiciones que hasta entonces no habían sido estudiadas. El hecho de
poder agregarle cuantificadores que determinen cantidades de las cosas y usarlos para representar
y organizar las proposiciones refuerza un poco más lo estudiado hasta la fecha.

En la siguiente semana se estudiarán aspectos de la lógica de Aristóteles, como las proposiciones


categóricas, la lógica cuantificacional, características de las proposiciones y cómo estas se simboli-
zan. Estos contenidos son fundamentales ya que existe una variación significativa con respecto a la
representación de estas proposiciones, en comparación con lo que se ha estudiado en las unidades
pasadas.

Sumado a esto, se reconocerá y estudiarán las formas de las proposiciones características, que son
cuatro, para poder comprender así a qué se hace referencia al hablar de proposiciones universales
o particulares y cómo se representan estas en el contexto de la lógica de símbolos, de manera de
identificar las diferencias entre la simbolización de proposiciones comunes y las proposiciones
categóricas.

5
INTRODUCCIÓN

A lo largo de las semanas se han revisado los


diferentes aspectos de la lógica y lógica de proposi-
ciones. En este caso se estudiará la lógica cuantifi-
cacional, una parte de la lógica que se encarga de

PALABRAS
analizar las proposiciones categóricas las cuales
son proposiciones que al igual que las ya estudiadas
se constituyen por un sujeto, en este caso llamado CLAVE
término, y por un predicado.

A diferencia de lo anteriormente estudiado, las


proposiciones categóricas y este segmento de la
lógica, permiten identificar las partes que componen Pon atención a las siguientes
una proposición y de tal manera representarlas con palabras claves, ya que te ayudarán

letras mayúsculas en el caso de los predicados y a identificar las ideas centrales o


fundamentales dentro del texto:
letras minúsculas como subíndices para los términos
o sujetos, de esta manera pueden ser más específi-
cos al momento de realizar las simbolizaciones.
Cuantificadores
universales
Por otra parte, se reconocerán a lo largo de la Cuantificadores
semana los diferentes cuantificadores universales y
particulares
lo que estos quieren decir en una proposición,
Proposiciones
además de cómo afectan a la hora de realizar las
categóricas
simbolizaciones de una proposición categórica,
sumado a esto se reconocerán las características de Simbolización
las proposiciones categóricas y sus cuantificadores
para comparar cómo se expresan estas tanto en el
lenguaje común y en el lenguaje lógico.

6
1. LÓGICA CUANTIFICACIONAL

A lo largo de las semanas previas se ha ido profundizando cada vez más en los conceptos de la
lógica y la lógica de proposiciones o de enunciados, en este caso se estudiará un nuevo concepto:
la lógica cuantificacional.

La lógica de proposiciones, como se ha visto en las semanas anteriores, se utiliza para analizar la
veracidad o valor de verdad de argumentos, donde la estructura de las proposiciones involucradas
no tiene relevancia para conseguir dicho valor, en el caso de que sea verdadero o falso. Existen
enunciados que son evaluados lógicamente y son válidos, pero carecen de certeza o validez por
las conexiones existentes entre los enunciados involucrados.

Esto quiere decir que la forma de los enunciados no puede representarse solamente utilizando
letras y símbolos conectivos, sino que se amerita verificar la forma en la que se estructura el
enunciado para así buscar la validez del mismo.

7
EJEMPLO

P: Ningún pez puede hablar.


Q: Miguel puede hablar.
Luego
R: Miguel no es un pez.

La lógica de proposiciones no puede dar una explicación de por qué se llega a tal conclusión, es
por ello que se trata de solventar este hecho construyendo, mediante el uso del cálculo proposi-
cional, nuevas herramientas de análisis para las proposiciones.
La lógica cuantificacional estudia la composición interna de las proposiciones, aplicando un
conjunto de nuevos símbolos, leyes y métodos para verificar la validez de los argumentos. Es
decir, este método lógico estudia con más detalle los predicados o atributos que se le asignan al
sujeto, mediante la aplicación de cuantificadores que denotan cantidad.

Algunos elementos que conforman la lógica cuantificacional son:


Operadores proposicionales.
Constantes individuales.
Variables.
Cuantificadores.
Metavariables.
Símbolos de agrupación.

La lógica cuantificacional estudia las relaciones existentes entre las clases o conjuntos, teniendo
en cuenta la cantidad de las cosas. De esta manera se tiene un método con el que las proposicio-
nes atómicas pueden describirse de tal manera que sea relevante su estructura lógica interna. Es
importante indicar que el uso de cuantificadores no modifica las reglas de inferencia de las propo-
siciones.

8
1.1 PROPOSICIONES CATEGÓRICAS
Se le llama proposición categórica a todos los enunciados en los que se relacionan dos clases o
categorías. Estas clases, en las proposiciones categóricas, están presentes en una relación sujeto
predicado, algo (el predicado) es dicho sobre el sujeto. Lo que indica las clases es que un sujeto
está incluido o no en una categoría (predicado).
“Una proposición categórica como 'Todo Y es Z' se representa en su sistema mediante y.z, expre-
sión con la que se quiere significar simplemente que si un individuo pertenece a la clase Y, enton-
ces pertenece a la Z” (Castrillo, 1994, p. 89).

1.2 ESTRUCTURA DE UNA PROPOSICIÓN


CATEGÓRICA
Existen cuatro formas de las proposiciones categóricas y se conocen por su estructura:

Universales:
Afirmativas (A), Todo Sujeto es Predicado.
Negativas (E), Ningún Sujeto es Predicado.

Particulares:
Afirmativas (I), Algún Sujeto es Predicado.
Negativas (O), Ningún Sujeto es Predicado.

Si se grafican en forma de diagrama de Venn, las proposiciones serían:

Para Universales Afirmativas (A)

S P

9
Para Universales Negativas (E)

S P

Para Particulares Afirmativas

S x P

Para Particulares Negativas

X P

EJEMPLO

Universales:
• Todos los lenguajes de programación son lenguajes computacionales.
• Ninguna licencia de software privativo es un software libre.

Particulares:
• Algunos lenguajes de programación son libres.
• Algunos programas no son modificables por el usuario.

Las palabras “Todos” y “Algunos” son conocidas como cuantificadores, porque determinan una
cantidad de sujetos. Esto quiere decir que los cuantificadores indican cuántos elementos de la
clase del sujeto pertenecen o están incluidos a la clase de los predicados, el verbo que se utiliza
en las proposiciones categorías es por lo general una forma del verbo “ser”.

10
1.3 SIMBOLIZACIÓN DE PROPOSICIONES
CATEGÓRICAS

Para simbolizar una proposición


categórica es importante reconocer
algunos aspectos que han sido
estudiados con anterioridad en la
asignatura, primeramente identificar
los términos de una proposición
atómica.

EJEMPLO

Ana está presente.


José va lento.
El libro es rojo.

Términos:
Ana, José, El libro.

De este ejemplo se puede definir entonces un término, como una expresión que permite denotar o
designar a un objeto único. Un término también puede ser una frase que haga referencia a un
individuo en particular, es decir, que algunos términos pueden ser nombres y otros descripciones
que refieren a un objeto.

11
Otro factor que se debe tener en cuenta es el predicado, por lo general en una proposición atómi-

ca el sujeto de esta es un término mientras que el resto de la proposición es el predicado.

EJEMPLO

Karina es nadadora.
Juan está triste.
Antonio canta.

Para realizar la simbolización de la proposición “Karina es nadadora”, se puede asignar una “S”

como el predicado y una “k” (minúscula) como el término.

EJEMPLO

Karina es nadadora.
k S

Simbolizada= S�

En el caso de “Juan está triste”, se puede realizar de manera similar.

EJEMPLO

Juan está triste.


J R

Simbolizada= Rj

12
En el caso de que se tengan dos o más proposiciones atómicas unidas por un operador lógico,

de igual manera se puede simbolizar utilizando una letra mayúscula para representar el predicado

y un subíndice con una letra minúscula para representar el término.

EJEMPLO

Si José es viejo, entonces Tomás es viejo.


Se puede simbolizar por separado

José es viejo. = Vj

J V

Tomás es viejo. = Vt

t V

La representación simbólica

Vj → Vt

Un aspecto fundamental que existe en la simbolización de proposiciones categóricas es el uso de

las letras “x”, “y”, “z” para representar términos. Al hacer esto se denotan como variables. Las

variables pueden ser sustituidas por cualquier expresión que designe o nombre un objeto.

13
Existe también el hecho de simbolizar predicados compuestos.

EJEMPLO

1. El señor López es el padre de Luis.

S K

Representación simbólica Ks

Suponiendo que (a) fuese una premisa y existiese otra que dijera

2. Todo aquel cuyo padre es el señor López tiene


el cabello negro.

Uniendo ambas premisas se puede fácilmente llegar a la conclusión de que

Luis tiene el pelo negro. Pero esto no puede hacerse con la “K” (es el

padre de Luis). Si por otra parte se separara el predicado y se representa

por “F” (es el padre) y “j” (Luis) la fórmula cambia:

Fsj

Esto indica que “F” es un predicado doble o compuesto, donde

Fs = El señor López es padre.


Fj =El padre de Luis.

Y como ninguna de las dos formas es completa, debe representarse unidas.

El uso de los cuantificadores universales en estas proposiciones es también válido ya que estos

permiten agregar a esta una manera para determinar su veracidad o no. Teniendo en cuenta una

proposición atómica “X es rubio”.

14
Si se sustituye la “X” por “Franklin”, se obtiene una proposición “Franklin es rubio”, es decir que

puede sustituirse la “X” por cualquier objeto único y se tendrá una proposición verdadera o falsa.

Por otra parte, si se sustituye la “X” en esta misma proposición por “Todos es rubio” o se le ante-

pone “Cada X es rubio”, se obtienen proposiciones que son correctas y se expresan lógicamente.

EJEMPLO

Para cada X, X es rubio.

Al utilizar la frase “Para Cada” se está usando un cuantificador universal, es denominado de esta

forma porque utiliza la variable “X” para indicar que cada elemento del universo tienen cierta

propiedad. La representación del cuantificador universal “para todo” o “para cada” es utilizando

una “A” invertida, ( ∀ � ).

EJEMPLO

Para todo X, X> 5


( ∀x ) ( x > 5 )

Algunas expresiones del cuantificador se utilizan para expresar una negación.

15
EJEMPLO

Ninguno quiere plantas venenosas.

N L

Se puede representar como

Para todo X, X no quiere plantas venenosas.

(∀x) (X no quiere plantas venenosas)

(∀x (¬ Lx)

Otra forma típica de proposiciones y representación con cuantificadores universales es:

EJEMPLO

Sean las proposiciones:

a) Cada hombre es un animal

Predicados:
Es un hombre
Es un animal
Para cada X, si X es un hombre, X es un animal.
(Mx)↔(X es un hombre)
(Ax)↔(X es un animal)
(∀x)(Mx→Ax)
b) No toda mujer tiene el pelo negro

(Wx)↔(X es una mujer)


(Lx)↔(X tiene el pelo negro)
¬(∀x)(Wx→Lx)

16
Antes de finalizar, te invitamos a desarrollar los siguientes
ejercicios:

De las siguientes proposiciones, señala los términos y los


predicados.
a) París es la capital de Francia.
b) El juego empezará pronto.
c) Siete es mayor que tres más tres.
d) Isabel II es la reina de Inglaterra.
Simboliza las siguientes proposiciones:
a) El rayo de luz se refracta.
b) Una fina brisa sopla.
c) Jorge está esperando paciente.
d) El señor López está enojado.
Utiliza los cuantificadores universales para simbolizar las
siguientes proposiciones.
a) Cada uno no es un tonto.
b) No todas las casas son bonitas.
c) Para cada y, y pertenece a un conjunto.
d) Todas las cosas son átomos.

17
COMENTARIO FINAL

La complejidad que se trata con las proposiciones cuantificables es poca si se conocen los conceptos
que se han manejado desde el principio de la asignatura. Las proposiciones cuantificables son otra
forma de representar premisas, pero en este caso se les agregan aspectos un poco más técnicos como
los son los cuantificadores. El uso de un cuantificador permite asignarle cantidad a una cosa de la cual
se habla, comúnmente son utilizados en el lenguaje natural, sin embargo, en el lenguaje lógico
trabajado a lo largo de la asignatura primera vez que son tomadas en cuenta.
Al simbolizar una proposición categórica, si se les denomina a las proposiciones que forman parte de
la lógica cuantificacional se deben, como se mencionó anteriormente, poder identificar las partes de la
proposición, el sujeto y el predicado, que en este caso se le cambia el nombre al primero y se le da una
definición más amplia como un término al cual se le acompaña de una cualidad. Los símbolos que se
utilizan cambian un poco, ya que en este caso se asignan letras mayúsculas para representar los
predicados y minúsculas para los términos, de igual manera siguen convergiendo los conectores
lógicos en el caso de ser necesarios y se suma a demás los cuantificadores que se expresan con letras
particulares.

Para finalizar el contenido de la semana, te invitamos a reflexionar


sobre las siguientes preguntas:
¿Qué son proposiciones categóricas? ¿Había escuchado
antes acerca de esto?
¿Conocía la estructura de una proposición lógica? ¿Cuáles
son?
¿Cómo se puede simbolizar una proposición lógica?
¿Cómo crees que lo aprendido te servirá en tu futuro labo-
ral?

Revisa las respuestas de las preguntas que se encuentran al


comienzo, compleméntalas de acuerdo a lo aprendido en la semana.

18
REFERENCIAS

Castrillo, P. (1994). H. MacColl, C.S. Peirce y la lógica proposicional en el s. XIX. Madrid, España:
UNED.

PARA REFERENCIAR ESTE DOCUMENTO, CONSIDERE:


IACC (2018). Lógica cuantificacional. Lógica Matemática y Digital. Semana 5.

19

También podría gustarte