Cuantificadores y Proposiciones Categricas

Introduccin
Hasta ahora hemos estudiado proposiciones que solo se les puede asignar un valor
de verdad, ya sea falso o verdadero; esto refirindome a todo lo que hemos visto
respecto a las tablas de verdad.
En esta etapa que iniciamos estudiaremos las proposiciones abiertas; Iniciemos d
efiniendo las proposiciones abiertas.

Proposiciones abiertas:
Una proposicin abierta es una expresin que contiene una variable "x" y que se conv
ierte en una proposicin cerrada cuando "x" se sustituye por un valor determinado.
Ejemplo:
La proposicin se puede enunciar de las siguientes formas:
1. Existe x = 1 tal que x + 1 = 2. Proposicin verdadera
2. Para todo x ? 1, se tiene que x + 1 = 2. Proposicin falsa

Veamos la representacin simblica de estas dos expresiones es la siguiente:

1. (?x = 1) / (x +1 = 2) Verdadera
2. (?x ? 1) / (x + 1 = 2) Falsa
Simblicamente, en el primer caso el cuantificador recibe el nombre de cuantificad
or existencial, pues est informando que existe un slo valor para "x" que hace verd
adera la proposicin dada.
Mientras que en el segundo caso el cuantificador se llama cuantificador universa
l porque afirma que todos los valores de "x" diferentes de 1 hacen la proposicin
falsa, es decir, que un valor de "x" diferente de 1 convierte x + 1 = 2 en propo
sicin falsa.
Leccin No. 11 Cuantificadores
Cuantificadores
Los cuantificadores son smbolos utilizados para indicar cuntos o qu tipo de element
os de un conjunto dado cumplen con cierta propiedad. Existen muchos tipos de cua
ntificadores, entre los ms utilizados estn:
Cuantificador universal (? )
Cualquier cuantificador de la forma para todo, todo, para cada, o cada, se llama
cuantificador universal y se simboliza por ? .

Ejemplo:
(?x =1) / ( x + 4 = 4 + x ) significa que todo "x" verifica la ecuacin
Nota: esta expresin se lee de la siguiente manera
que x + 4 = 4 + x".

para todo x =1 se verifica

Cuantificador existencial (? )
Los cuantificadores de la forma existe por lo menos uno, se llaman cuantificador
es existenciales y se representan as: ? .
Ejemplo:
(?x = 1) / ( 2x + 3 = 5 ) significa que para x = 1 verifica la ecuacin
Nota: esta expresin se lee de la siguiente manera
verifica que 2x + 3 = 5".

existe por lo menos uno x =1 se

Leccin No. 12 Proposiciones categricas

Proposiciones categricas
Una Proposiciones categricas es un enunciado que consta de dos Proposiciones las
cuales actan una como sujeto y otra como predicado.
Ejemplos:
Ningn soltero es casado
Algunos mazdas no Son fabricados en Japn

Estos tipos de enunciados (sujeto-predicado) son los que encontramos en una form
a de lgica, conocida como aristotlica, tradicional, o de silogismos categricos.
Existen cuatro clases de proposiciones categricas. Usando
n:
Proposicin categrica
Representacin
Universal afirmativa
Todos S son P
Universal negativa
Ningn S es P
Particular afirmativa
Algunos S son P
Particular negativa
Algunos S no son P

como smbolos, estas so

Ejemplos:
Todos los poetas son filsofos
Ningn poeta es filsofo
Algunos poetas son filsofos
Algunos poetas no son filsofos

Leccin No. 13 Representacin de las proposiciones categricas

Representacin de las proposiciones categricas
Presentacin de los cuatro tipos de proposiciones categricas
Caso 1: Todo S es P.

La parte del crculo S que esta fuera de P representa todos los S que no son P
Todo S es P
Escritura en Forma Lgica: (?x )(Sx?Px)

Caso 2: Ningn S es P o ningn P es S.

La parte comn de los dos crculos representa la interseccin o producto de las dos cl
ases SP
Ningn S es P
Ningn P es S
Escritura en Forma Lgica: (?x )(Sx?Px)
Caso 3: Algn S es P o algn P es S
Algn S es P
Algn P es S
Escritura en Forma Lgica: (?x)(Sx ? Px)
Caso 4: Algn S no es P
Algn S no es P
Escritura en Forma Lgica: (?x)(Sx ? Px)

Algn P no es S
Escritura en Forma Lgica: (?x)(Px ? Sx)

Leccin No. 14 Clasificacin de las proposiciones categricas

A continuacin profundizamos en la representacin de las cuatro formas estndar de pro
posiciones categricas:

Proposicin Categrica Universal Afirmativa

"Todos los conductores de automviles que no son seguros son personas temerarias q
ue ponen en peligro la vida de los dems"
Analicemos el ejemplo:
Si examinamos detenidamente la proposicin categrica anterior, nos podemos dar cuen
ta de que este se compone de 2 proposiciones:
1. Los conductores de automviles inseguros
2. Personas temerarias que ponen en peligro la vida de los dems
Vemos entonces que existe una predicado y un sujeto
P: Los conductores de automviles inseguros
S: Personas temerarias que ponen en peligro la vida de los dems
De esta manera concluimos que:
Todo S es P

Proposicin Categrica Universal negativa

Todos los conductores de automviles son responsables y no son personas temerarias
que arriesgan la vida de los dems.
Analicemos el ejemplo:
En este nuevo caso nos damos cuenta otra ves que la proposicin categrica anterior
la compone de 2 proposiciones:
1. conductores responsables
2. Personas temerarias
Vemos entonces que existe una predicado y un sujeto
S: conductores responsables
P: Personas temerarias
De esta manera concluimos que:
Ningn S es P

Proposicin categrica afirmativa particular

Algunos estudiantes van del colegio a la universidad.

Analicemos el ejemplo:
Este nuevamente se compone de 2 proposiciones:
1. Estudiantes de colegio
2. Estudiantes de universidad

Vemos entonces que existe una predicado y un sujeto

S: Estudiantes de colegio
P: Estudiantes de universidad
As concluimos que:
Algn S es P

Proposiciones categricas Negativa Particular

algn nmero real no es positivo.
Analicemos el ejemplo:
Este nuevamente se compone de 2 proposiciones:
1. Nmero real
2. Numero negativo

Vemos entonces que existe una predicado y un sujeto

S: Numero negativo
P: Nmero real

As concluimos que:
Algn S no es P

" PARA CONCLUIR "

Sobre las proposiciones categricas universales y particulares
Cada una de ellas cuenta con una cualidad y una cantidad
Entendindose por cualidad su condicin [positivas o negativas] 0 [afirmacin o negacin
]
Entendindose por cantidad su condicin [universal o particular] 0 [todos o algunos]

Leccin No. 15 Proposiciones contradictorias, contrarias, de contingencia y subcon

trarias.
Proposiciones contradictorias
Dos proposiciones son CONTRADICTORIAS si una de ellas es la negacin de la otra.
Ejemplo 1
Dadas las proposiciones
P: todos los jueces son abogados
Q: algunos jueces no son abogados
Ejemplo 2
Dadas las proposiciones
P: hoy es lunes
Q: hoy no es lunes.

Proposiciones contrarias
Se dice que dos proposiciones son CONTRARIAS si no pueden ser ambas verdaderas,
aunque ambas puedan ser falsas.
Ejemplo 1
Considerando las proposiciones
P: Paola es mayor que Anglica
Q: Anglica es mayor que Paola
Ejemplo 2
Dadas las proposiciones:
P: todos los nmeros enteros son positivos
Q: algunos enteros son positivos
R: todos los enteros son negativos

Proposiciones Subcontrarias
Se dice que dos proposiciones son subcontrarias si no pueden ser ambas falsas pe
ro s ambas verdaderas
Ejemplo 1
Las proposiciones
P: algunos enteros son positivos
Q: algunos enteros son negativos

Ejemplo 2
P: algunos ingenieros de sistemas son matemticos
Q: algunos ingenieros de sistemas no son matemticos

Proposicin Contingente
Una proposicin que no es necesariamente verdadera ni necesariamente falsa se llam
a CONTINGENTE.

Ejemplo 1
P: todos los matemticos son filsofos

Ejemplo 2
Q: todos los cuadrados son rectngulos

para concluir miremos el siguiente vdeo: