You are on page 1of 34

UNIVERSIDAD NACIONAL DE CAJAMARCA

Sede Jan
norte de la universidad peruana
Bolvar n 1342-plaza de armas-telf-731080

TEMA:LOGICA CUANTIFICAIONAL

INTEGRANTES

4.1
PREFACIO.
La lgica formal, al nivel de la lgica de enunciados, slo puede analizar formalmente
aquellos razonamientos en cuya validez no desempea ningn papel la estructura interna
de las proposiciones que los componen.

Hay razonamientos formalmente vlidos que no lo son simplemente en virtud de las


conexiones externas entre los enunciados. Es decir, su forma no puede exhibirse tan solo
mediante letras y conectivos, sino que es preciso penetrar en la estructura interna del
enunciado, para buscar la validez de la inferencia en cuestin.
Ejemplo:
P: Ningn rbol puede hablar.
Q: Juan puede hablar.
Luego,
R: Juan no es un rbol.
La lgica proposicional no puede explicar por qu R se deduce de P y de Q.
Se trata entonces de construir a partir del clculo proposicional, nuevos elementos de
anlisis para poder tener un instrumento adicional de deduccin.
Dada una proposicin, la lgica cuantificacional distingue en esta a los individuos y a sus
propiedades.
Ejemplo:
Lina estudia mucho.
Jardn es un municipio muy prspero.
El Atrato es muy caudaloso.
En las tres proposiciones anteriores los individuos son: "Lina", "Jardn" y "El Atrato". Las
propiedades atribuidas a dichos individuos son las frases: "estudia mucho", "es un
municipio muy prspero" y "es muy caudaloso".
Este tipo de proposiciones en donde se atribuye una propiedad a un individuo
determinado son las llamadas proposiciones mondicas. Los nombres propios hacen
referencia a cualquier tipo de individuos determinados: personas, animales, pases, ros,
etc. Se simbolizarn con letras minsculas a, b, c... y se llamarn constantes
individuales o trminos. Se llamar predicado a la propiedad que se afirma acerca
del sujeto o trmino, y se simbolizar con letras maysculas: A, B, C...
Si en el ejemplo anterior se simboliza a:
Lina, por la letra l
Jardn, por la letra j.
El Atrato, por la letra a.
Estudia mucho, por la letra P.

Es un municipio muy prspero, por la letra R.


Es muy caudaloso, por la letra T.
Entonces, la simbolizacin de las anteriores proposiciones es:
Pl
Rj
Ta.
Las proposiciones simples pueden combinarse mediante conectivos lgicos para formar
proposiciones compuestas tales como:
"Pedro duerme y Mara lee"
que se puede simbolizar as:
Sf y Pj

4.2 Funciones proposicionales


Considrense las siguientes proposiciones:
Gustavo es mdico.
Alvaro es mdico.
Enrique es mdico.
Estas proposiciones tienen algo en comn, y es la propiedad de "ser mdico". Esto puede
formularse recurriendo a la expresin "x es mdico" en donde x es una variable individual,
la cual indica que el sujeto o trmino que tiene la propiedad de ser mdico es
indeterminada. La expresin "x es mdico" no puede considerarse como una proposicin
ya que no es en cuanto tal ni verdadera ni falsa. Aqu x es una variable que toma valores
dentro de un conjunto, llamado conjunto de referencia . Expresiones de esta forma,
dadas en trminos de una o varias variables, reciben el nombre de funciones
proposicionales .
Cuando en una funcin proposicional se sustituyen las variables por constantes
individuales o trminos especficos, se convierte en proposicin. Comnmente se usarn
las letras x, y, z, w para denotar las variables. Las funciones proposicionales pueden
negarse y tambin combinarse con otras funciones proposicionales o proposiciones
simples por medio de los conectivos.
Ejemplo:

q(x): x es blanca

x=tiza

q(tiza)=la tiza es blanca

Si en una forma compuesta hay por lo menos una funcin proposicional como
componente, entonces toda la forma compuesta es una funcin proposicional.
Ejercicios
1) Simbolizar las siguientes expresiones e indicar si son funciones proposicionales o
proposiciones:
Fulano es muy generoso. , r(fulano)= fulano es muy generoso
x es par y 6 tambin.

s(x)=x es par

------ s(6):6 es par

4.3 Cuantificadores
Las expresiones:
Todo hombre es mortal.
Algunos hombres son sabios.
pueden traducirse respectivamente como:
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 expresin "para todo x" son:
Todo x
cualquiera x
cada x
que se simbolizan por

y se llama cuantificador universal.

Otros giros utilizados para la expresin 'Existe un x" son:


Hay x
Existe x, tal que
Algn x
Algunos x
que se simbolizan por

y se llama cuantificador existencial.

Existen tres formas de convertir una funcin proposicional

en una proposicin a

saber:

Haciendo la sustitucin de las variables por un trmino especfico.

Anteponiendo la expresin "para todo x" o cuantificador universal.

Anteponiendo la expresin "existe al menos un x" o cuantificador existencial.

El enunciado "existe al menos un x tal que

El enunciado "para todo x,

" se representa como:

" se representa como:

Al anteponer a la funcin proposicional

un cuantificador, se dice que la variable x ha

pasado a ser variable ligada .


Una proposicin de la forma

es verdadera cuando todas las sustituciones de

la variable x por trminos especficos del conjunto de referencia, convierten a

en

enunciado verdadero.
Un enunciado de la forma

es verdadero cuando al menos un caso de

sustitucin de la variable x por un trmino especfico del conjunto de referencia, convierte


a
en un enunciado verdadero.
Las proposiciones universales pueden aparecer negadas, como en el enunciado: "No todos
son mecnicos". En este caso la simbolizacin ser:

donde M x es la

funcin proposicional "X es mecnico" que toma valores dentro del conjunto de referencia
formado por los hombres.
Las palabras "ningn", "ninguno", "nada", "nadie" corresponden tambin a enunciados
universales con negaciones, pero de una manera distinta a las proposiciones anteriores. La
proposicin "ninguno es mecnico" no equivale a la proposicin "no todos son mecnicos"
sino a la expresin "para todo x, x no es mecnico" que se simboliza

Las proposiciones existenciales pueden estar negadas, como por ejemplo "no es cierto que
hay fantasmas" la cual se simboliza como

donde F x simboliza la

expresin "x es un fantasma". Anlogamente a lo que ocurre con los cuantificadores


universales, las proposiciones existenciales pueden tener negaciones internas como "algo
no es mortal" la cual se simboliza como

donde M x simboliza la

expresin "x es mortal".


Observacin.
As como aclaramos en su momento en el clculo proposicional, el clculo cuantificacional
presenta tambin una estructura propia, que adicionada a las reglas ya establecidas para el
clculo de proposiciones, permite la consolidacin del complejo pero maravilloso universo
de la lgica formal.
Conservando la orientacin que nos hemos propuesto, consideramos importante el
conocimiento completo de la estructura bsica, y en este sentido presentamos los
elementos fundamentales a continuacin:
Signos primitivos del clculo cuantificacional:

(cuantificador universal).

Regla formativa: Si P designa una frmula; en la cual no figura la expresin


entonces

designa una frmula.

Signo definido: Si P designa una frmula, en la cual no figura

, entonces

designa la frmula
Notas:
1. Diremos que una frmula P no est cuantificada bajo el trmino x , si en P no figura
o
.
2. En adelante, cuando una expresin figure cuantificada, se sobreentiende que se
satisfacen las condiciones requeridas.
Convenciones.
1. Sea P una frmula no cuantificada en x y no cuantificada en y . Designaremos por
y se lee y sustituye a x en P , la frmula que resulta de sustituir todas
las ocurrencias de x en la frmula P , por y.

Ejemplo:
Si

; entonces
;

2. Si queremos destacar que el trmino x figura en la frmula P ; lo indicamos por P x .


Regla Axiomtica.
Sea P una frmula no cuantificada en x. a , x trminos. Entonces
es un axioma.
Ejercicios propuestos 4.3
1. Simbolizar los siguientes enunciados:
1.1 Todo es perecedero.
1.2 Hay marcianos.
1.3 Alguien no es perfecto.
1.4 No hay cosas slidas.
1.5 Si todo es rojo, hay algo rojo.
1.6 Nada se mueve.
1.7 No todo es perecedero.
1.8 Nada es perecedero.
2. Indicar, con base en las reglas formativas establecidas en el clculo de proposiciones y la
ltima regla anotada para el clculo de cuantificadores, cules de los siguientes
expresiones son frmulas:
2.1
2.2
2.3
2.4

2.5
2.6
2.7
3. Sean:

Determinar:
3.1

3.4

3.2

3.5

3.3

3.6

4.4 Cuantificacin restringida


Los enunciados cuantificados que tienen importancia en la matemtica, tienen una
caracterstica comn que los identifica y es precisamente que estn sealando propiedades
muy especficas que les permiten, en esta forma, cumplir con sus objetivos.
Ilustracin 1.
El enunciado: Existe al menos un x tal que x >0, tiene sentido cuando especificamos el
universo de validez de x ; esto es cuando restringimos a los x dentro de un universo ms
concreto, as, el enunciado anterior adquiere pleno significado cuando lo precisamos en los
siguientes trminos:
. De la funcin proposicional
diremos que es una restriccin.
Ilustracin 2.
El enunciado: Todos los x son positivos, negativos o cero tiene sentido cuando nos
ubicamos por ejemplo en el contexto de los nmeros reales, pero no tendra absolutamente

ningn significado en muchos otros contextos; por ejemplo: conjunto de los animales,
seres vivos, hombres o cosas en general. En este caso la funcin proposicional
recibe el nombre de restriccin y el enunciado se estructurara as:
.
Observaciones.
Como puede concluirse de los ejemplos anotados, la restriccin se articula en forma
diferente segn el enunciado corresponda a una expresin cuantificada existencialmente o
universalmente.
Cuando el enunciado se cuantifica existencialmente la restriccin corresponde al
conjunto referencial ms amplio, a partir del cual la proposicin es cada vez especificada
mediante una serie de conjunciones.
Cuando el enunciado se cuantifica universalmente, la restriccin se constituye en el
antecedente de un condicional, actuando en esta forma de filtro o tamiz, con relacin a las
propiedades subsiguientes que se le asignan a los objetos.
Notacin.
Dado el uso continuo que presenta la cuantificacin restringida, utilizaremos las siguientes
convenciones para designarla:
Sean C , P frmulas no cuantificadas en x .
Designaremos por:

la frmula

; esta expresin

abreviada la llamaremos cuantificador universal restringido y la frmula C se denomina


restriccin .
Designaremos por:

la frmula

; esta expresin

abreviada la llamaremos cuantificador existencial restringido y la frmula C se denomina


restriccin.
Ilustracin 3.
Para cada enunciado que se propone a continuacin, se requiere simbolizarlo en trminos
de expresiones cuantificadas y luego expresarlo en trminos de cuantificadores
restringidos.
Existe un nmero real que no es positivo y no es negativo.
Simbolizacin:

Cuantificacin restringida:

Existe un paralelogramo que es equiltero y equingulo.


Designemos: P x : x es un paralelogramo.
E x : x es equiltero.
A x : x es equingulo.
Simbolizacin:
Cuantificacin restringida:

Todo nmero real elevado al cuadrado es no negativo.


Simbolizacin:

Cuantificacin restringida:

Existe un nmero real; que sumado con cualquier nmero real, da por resultado este
ltimo.
Simbolizacin:
Cuantificacin restringida:
Ejercicios propuestos 4.4
1. Simbolizar los siguientes enunciados:
1.1 Hay cisnes negros.
1.2 Existen animales carnvoros.
1.3 Hay nmeros perfectos.
1.4 Existen ciudades de clima fro.
1.5 Todos los nevados son colombianos.

1.6 Hay cetceos que son peces.


1.7 Algunos nmeros negativos no son enteros.
1.8 Algunos gobernantes no respetan la libertad.
2. Simbolizar los siguientes enunciados y expresarlos en trminos de cuantificadores
restringidos:
2.2 La ecuacin

tiene una solucin en los enteros.

2.3 Todo nmero entero es par o impar.


2.4 La ecuacin

no tiene solucin en los reales.

2.5 Existe un nmero natural menor o igual que cualquier nmero natural.
2.6 Para todo nmero real, existe un nmero real tal que su suma es igual a cero.
2.7 Si x , y son enteros positivos, existe un entero positivo n tal que nx > y .
2.8 Para todo nmero entero existe otro nmero entero mayor que l.
2.9 El producto de dos enteros consecutivos es un nmero par.
2.10 Todo entero de la forma 6 k +5 es tambin de la forma 3 k +2.
2.11 Existe c , c nmero real tal que para todo real x mayor que c , f(x) es real.
2.12 Dado cualquier E real, existe un real D de tal forma que para todo real mayor que D ;
su imagen bajo la funcin f , es mayor que E .
3. Expresar en el lenguaje corriente los enunciados simbolizados que se presentan a
continuacin.
Sean: A x : x es un animal H x : x es un hombre
M x : x es un mamfero V x : x es un vertebrado
3.1
3.2

3.3

3.4
3.5
3.6
3.7
3.8
4.5 Teoremas bsicos del clculo cuantificaional
Presentamos a continuacin los resultados fundamentales del clculo cuantificacional.
Aunque omitimos sus demostraciones por las razones ya expuestas, estas se pueden
desarrollar en gran parte por los lectores y esperamos que avancen en este aspecto.
Negacin de expresiones cuantificadas.
Sea P una frmula no cuantificada en x , entonces:

Segn lo anterior, se tiene que la negacin de una proposicin existencial es equivalente a


la afirmacin de un cuantificador universal cuya funcin proposicional es la negacin de la
primera.
Tambin, decir que ( " x)(P x ) es falsa significa entonces que ( " x)(P x ) es verdadera y
por lo tanto lo es ( $ x )( P x ). Este resultado es la base de una regla lgica til para
demostrar que un enunciado es falso. Esta regla se llama regla del contraejemplo y
dice as: Si ( $ x)( P x ) es verdadera, entonces ( " x)(P x ) es falso. El mtodo de
demostracin que origina esta regla se fundamentar ms adelante.
Ejemplo: La afirmacin "todos los nmeros primos son impares" es falsa porque, "existe
un nmero primo que no es impar". A dicho nmero, el dos, se le llama un contraejemplo.
Ilustracin 4.
Determinar la negacin para cada una de las frmulas siguientes, utilizando al mximo las
equivalencias establecidas.

Negacin:

Negacin:

Negacin:

Mtodo del contraejemplo.


La equivalencia establecida en el numeral 2 del teorema 4.5.1 da lugar al mtodo de
demostracin conocido bajo este nombre y que opera as:
Esquema Operativo.
Objetivo. Demostrar que una frmula especfica del tipo
tambin que

es teorema, o

es falsa.

Basta demostrar, por la equivalencia establecida, que

es teorema.

Por lo anterior debe verificarse que para un objeto concreto a ,

es

verdadera. En este caso de a decimos que es un contraejemplo con relacin a la frmula


.
Ilustracin 5.
Dar contraejemplos para mostrar que las siguientes proposiciones son falsas.
El cuadrado de todo nmero real es mayor que el nmero

Enunciado simblico:

En consecuencia probemos que


; designando por

es verdadera, equivale a
vemos que 0

(cero) es un contraejemplo porque P 0 es verdadera.


Para a , b , c enteros.
Si a |( b + c ) entonces a | b a | c
Contraejemplo: Tomemos a =2, b =3, c =1; puede observarse que para estos valores la
implicacin es falsa.
Todo entero que se puede expresar en la forma 3 k +2, se puede expresar en la forma 6
n +5.
Enunciado simblico:

Veamos que su negacin es verdadera:

Designando por P x :
podemos verificar que x =8 es un contraejemplo, puesto que P 8 es verdadera.
Nota.
Con este mtodo hemos completado la fundamentacin de los mtodos de demostracin,
uno de nuestros objetivos principales en este trabajo. Nos queda por analizar el mtodo de
Induccin matemtica, que corresponde a propiedades derivadas del conjunto de nmeros
enteros y en consecuencia se desarrollar como un apndice de este texto.
Distributividad en los cuantificadores.
Sean P , Q frmulas no cuantificadas en x , entonces:

Conmutatividad en los cuantificadores


Sea P una frmula no cuantificada en x y no cuantificada en y , entonces:

Ejercicios propuestos 4.5


1) Negar las siguientes proposiciones cuantificadas.
( " x)(C x D x ).
( $ x)(P x

Q x ).

( " x)(P x

M x ).

( $ x)(A x B x ).

2) Simbolizar, utilizando el cuantificador existencial las siguientes expresiones.


Todos aprobamos el curso y disfrutamos las vacaciones.
Todo cetceo es un pez.
Toda hormiga es un insecto.

3) Simbolizar, utilizando el cuantificador universal, las siguientes expresiones.


Existe al menos una montaa.

Hay cisnes negros.


Existen animales carnvoros.
Hay nmeros perfectos.

Determinar la negacin para las siguientes proposiciones.

Exprese las proposiciones anteriores y sus correspondientes negaciones, en trminos de


cuantificadores restringidos. Qu puede concluirse al respecto?

Determinar la negacin para cada una de las frmulas simbolizadas en el ejercicio 4.4
numeral 2, utilizando al mximo las equivalencias establecidas. Exprese finalmente las
proposiciones negadas en trminos de cuantificadores restringidos.

Utilice contraejemplos para mostrar que los recprocos de los siguientes teoremas no son
teoremas.
Teorema 4.5.2 numeral 3.
Teorema 4.5.2 numeral 4.
Teorema 4.5.3 numeral 3.

Utilizar las equivalencias correspondientes para probar que los siguientes pares de
frmulas son equivalentes.

,
,

4.6 Reglas de inferencia para enunciados cuantificados


4.6.1 Particularizacin Universal (P.U). Dado un enunciado verdadero de la forma
( " x)(P x ), todo caso de sustitucin de la variable x por constantes de su conjunto de
referencia, da lugar a un enunciado verdadero.
4.6.2 Generalizacin Universal (G.U). Si una funcin proposicional tiene todos sus
casos de sustitucin por constantes de su conjunto de referencia verdaderos, se infiere la
verdad del enunciado ( " x)(P x ).

4.6.3 Ejemplificacin Existencial (E.E). Dado un enunciado verdadero de la forma


( $ x)(P x ), se infiere de l un caso de sustitucin de la funcin proposicional, con la
restriccin de que se utilice una constante que no halla figurado antes dentro de la
demostracin. Es decir, que no se halla especificado.

La restriccin indicada tiene la funcin de evitar inferencias invlidas tales como:


"Pedro es un hombre"
"Algunos hombres son sabios. Luego Pedro es sabio".

Hp
( $ x)(H x
Hp

Sx)

Sp por E.E (si no existiera la restriccin).

Sp por simplificacin en 2.

Puesto que la constante p ya ha aparecido en la proposicin 1, la restriccin impide que se


la utilice en el paso 3.

4.6.4 Generalizacin Existencial (G.E). Si una funcin proposicional tiene por lo


menos uno de sus casos de sustitucin por constantes de su conjunto de referencia
verdadero, se infiere la verdad del enunciado ( $ x)(P x ).

Nota: Cuando en una demostracin haya que aplicar la E.E y P.U como en el ejemplo
siguiente, es necesario aplicar en primer trmino E.E que es la regla que tiene restricciones
y luego la P.U puede hacerse en la misma constante sin ningn problema.

Ejemplo. Mostrar la validez del siguiente razonamiento:


Los perros son vertebrados y mamferos.
Algunos perros son guardianes.
Luego,
algunos vertebrados son guardianes.

1. ( " x)(P x V x
2. ( $ x)(P x
3. P w

G x ) / \ ( $ x)(V x

G x ).

G w E.E en 2 (W es una constante determinada pero no especificada).

4. P w V w
5. V w

M x ).

M w P.U en 1.
M w Simplificacin en 3 y RV2.

6. V w simplificacin en 5.
7. G w simplificacin en 3.
8. G w
9. ( $ x) (G x

V w conjuncin 6 y 7.
V x ) G. E en 8.

Traslado del cuantificador existencial. Sea

un teorema. Si bajo el

supuesto de que P es verdadera se puede probar que Q es verdadera, entonces


es teorema en la teora inicial.

Esta regla tiene un esquema operativo que podemos resumir as:

1.

Premisa

2. Supongamos: P ( Hiptesis auxiliar )


__________
__________
n. Q
n+1.

Traslado del existencial.

Observaciones Generales.
Presentamos ahora un resumen de observaciones metodolgicas, que facilitan la
comprensin y aplicacin de las reglas de inferencia anteriores.

Pruebas de existencia:
El axioma 5 permite establecer un procedimiento para demostrar que una frmula
especfica de la forma
es teorema.

Esquema Operativo general.


Objetivo: Demostrar que

es teorema.

Verificar que

es verdadero para una constante a especfica.

. Axioma 5.

. Regla de validez 2.

Ilustracin 5.

Demostrar que

es teorema.

Designamos por P x :

es verdadera.

Luego

es teorema.

4.6.6.2 Pruebas de generalizacin universal:


Fundamentados en el principio de que si una propiedad es vlida para un objeto
indeterminado cualquiera (variable), lo es para todos los objetos de su universo referencial,
se proceder as en este tipo de prueba.

Esquema operativo general.


Objetivo: Demostrar que una frmula especfica de la forma

Se demuestra que P es teorema.


Se concluye que

es teorema, por la regla G.U.

Ilustracin 6.
Demostrar: Todo entero de la forma

es tambin de la forma

Enunciado simblico:

Supongamos:
esto es;

Hiptesis 1.
Simplificacin en la hiptesis

es teorema.

por tanto

como

, podemos designarlo por n y se tiene as

Mtodo directo
G.U.

Traslado del existencial:


Como ya se present el esquema operativo general de esta regla, observemos una
aplicacin.

Ilustracin 7.
Demostrar que de las premisas

concluir

1)

Premisa

Premisa

Equivalencia en (1)

Supongamos:

Hiptesis Auxiliar 1

Simplificacin en (4)

se puede

P.U. en (2)

Modus ponens (5) y (7)

Conjuncin (6) y (8)

Traslado del existencial

Ejercicios propuestos 4.6


1. Por medio de las reglas de particularizacin y generalizacin, y las reglas necesarias
del clculo proposicional, demostrar la validez de los siguientes razonamientos.
o

Si todo es espacial o temporal, entonces la tierra est en movimiento. Todo


es temporal. Luego, la tierra est en movimiento.

Hernndez es estudiante y empleado. Todos los empleados cobrarn su


sueldo y su aguinaldo. Luego, Hernndez cobrar su sueldo.

Las serpientes son reptiles. Los reptiles no son animales mamferos. Por lo
tanto, las serpientes no son animales mamferos.

2. La argumentacin que se presenta a continuacin es obviamente invlida. Sealar


dentro de la prueba donde est el error.
Algunos gansos son animales; algunos perros son animales; en consecuencia, algunos
gansos son perros.
Deduccin:
( $ x)(G x

A x ).

( $ x)(P x

A x ) / \ ( $ x)(G x

Gw

A w E.E en 1

Pw

A w E.E en 2.

G w simplificacin en 3.

P x ).

P w simplificacin en 4.
Gw

P w conjuncin en 5 y 6.

( $ x)(G x

P x ) G. E en 7.

Analizar la siguiente argumentacin y determinar su validez o invalidez.


Todos los animales racionales tienen lenguaje oral o escrito. Existen animales racionales.
Todo aquel que tenga un lenguaje oral o escrito est en la escala mxima de evolucin.
Conclusin: todos los animales estn en la escala mxima de evolucin.
Deduccin:

Premisa

( $ x )( A x

R x ) Premisa

Premisa

Supongamos: A x

R x Hiptesis Auxiliar

P.U. en (1)

P.U. en (3)

Silogismo entre (5) y (6)

Modus ponens (4) y (7)


Simplificacin en (4)
Implicacin de (8)
G.U. en (10).

Utilizar las reglas necesarias del clculo proposicional y cuantificacional, para escribir
cada uno de los pasos requeridos en las demostraciones que se proponen a continuacin.

Simbolizar los siguientes razonamientos y demostrar la conclusin dada a partir de las


respectivas premisas.
Cada alumno que ha hecho su trabajo entiende el problema.
Juan es un alumno pero no entiende el problema
Conclusin : Juan no ha hecho su trabajo.
5.2 Cada nmero negativo es menor que cero.
Dos no es menor que cero
Conclusin : Dos no es un nmero negativo.
5.3 Para cada x , si x es la suma de nmeros pares entonces x es un nmero par.
x es un nmero par
Ocho es la suma de dos nmeros pares. Doce es la suma de dos nmeros pares.
Conclusin : Ocho y doce son ambos pares.
5.4 Para cada x , no ocurre que x sea a la vez un nmero positivo y x sea un nmero
negativo.
Para cada x , si x es menor que cero, entonces x es un nmero negativo
1+1 es un nmero positivo
Conclusin : 1+1 no es menor que cero.
5.5 Cualquiera que est matriculado en la Universidad es estudiante de tiempo parcial o de
tiempo completo. Carlos no es estudiante de tiempo parcial y tampoco lo es de tiempo
completo.
Conclusin : Carlos no est matriculado en la Universidad.
5.6 Todos los estudiantes de la U de A. ingresan por examen de admisin o por
transferencia.
Todos los estudiantes de la U de A que ingresan por examen de admisin superan un
puntaje mnimo. Todos los estudiantes que ingresan por transferencia a la U de A deben
acreditar estudios superiores previos.
Conclusin : Todo estudiante de la U de A que no acredita estudios superiores previos,
supera un puntaje mnimo

5.7 Cualquiera que ocupe un cargo pblico no puede participar en poltica. Cada uno de los
asistentes al banquete ocupa un cargo pblico o es candidato a la presidencia.
Algunos de los asistentes al banquete no son candidatos a la presidencia.
Conclusin : Algunos de los asistentes al banquete no pueden participar en poltica.
5.8 Ningn estudiante que no dedica mucho tiempo a su labor, obtiene un ttulo bien
respaldado. Hay estudiantes que obtienen un titulo bien respaldado.
Todo estudiante que dedica mucho tiempo a su labor amerita la institucin que lo certifica.
Conclusin : Hay estudiantes que ameritan la institucin que los certifica.
5.9 Quien quiera que compuso la Obertura 1.812, muri en plena madurez.
Scarlatti escribi para el clavicordio.
Nadie a la vez fue buen msico y muri en plena madurez.
Todos los que escribieron para el clavicordio fueron buenos msicos
Conclusin : Scarlatti no compuso la obertura 1.812.
Demostrar: Para todo entero a , 2| a ( a +1).
4.7 Existencia nica
Sea P x una frmula no cuantificada en x .
designa la frmula

esta frmula se lee: existe un nico x tal que P


existe un x y solo un x que cumple P
Observaciones.
En esta frmula se conjugan dos elementos importantes que caracterizan algunos
teoremas fundamentales de la matemtica; por una parte la existencia establecida en la
primera frmula.
La segunda frmula que conforma la conjuncin principal, aporta la unicidad .
Observemos que una prueba de unicidad parte del supuesto de que hay dos objetos que
verifican una propiedad P y se concluye finalmente que son el mismo objeto.
Las caractersticas anteriores le asignan a esta frmula el nombre de existencia nica de
un x que verifica a P .

Ilustracin 8.
Demostrar que existe un entero nico que satisface la ecuacin:
Enunciado simblico:
designemos por:

Probemos existencia:
En particular

es verdadero.

luego:

es verdadero.

Probemos unicidad.
Supongamos que:

es verdadero. Hiptesis auxiliar

esto es:

Simplificacin
Transitividad en la igualdad
Ley cancelativa en la suma
Ley cancelativa en el producto.
Mtodo directo

G.U

G.U

Demostrar que:

4.8 Silogismos categricos


4.8.1 Proposiciones categricas.
Designamos inicialmente las cuatro formas de proposiciones categricas, a saber:
Universal afirmativa:

. Se designar por A.

Universal negativa:

. Se designar por E.

Particular afirmativa:

. Se designar por I.

Particular negativa:

. Se designar por O.

Estas proposiciones estructuran el denominado cuadro de oposicin de la lgica


tradicional:

La distincin entre proposiciones afirmativas y negativas se llama distincin (u oposicin)


de cualidad , en tanto que la distincin entre universales y existenciales se denomina
distincin (u oposicin) de cantidad .

El diagrama representa la oposicin de proposiciones de las cuatro formas. Dos


proposiciones que tienen trminos idnticos se dice que son opuestas entre s, si difieren
en cantidad, o en calidad, o en cantidad y calidad a la vez.
A y E son contrarias, y las proposiciones contrarias se definen como aquellos pares de
proposiciones universales que difieren en la cualidad. I y O son subcontrarias, son
proposiciones existenciales que difieren en cualidad. A y E son, respectivamente, las
contradictorias de O e I, difiriendo tanto en cantidad como en cualidad.
Obsrvese que la negacin de cualquiera de las cuatro frmulas analizadas es precisamente
su contradictoria. Destaquemos adems que toda proposicin categrica presenta un
trmino - sujeto y un trmino - predicado.

Ilustracin 9.
Tomemos las siguientes proposiciones para ilustrar las formas categricas vistas:
A. Todos los estudiantes presentaron el examen de lgica.
E. Todos los estudiantes no presentaron el examen de lgica.
I. Algn estudiante present el examen de lgica.
O. Algn estudiante no present el examen de lgica.

Simbolizando las proposiciones anteriores tenemos en su orden:


A.

tambin

E.

tambin

I.

O.

, tambin

tambin

En este caso particular podemos tambin interpretar las proposiciones anteriores as:
A. Todo E es P .
E. Todo E es no P .

I. Algn E es P .
O. Algn E no es P .

4.8.2 La estructura del silogismo categrico.


Designamos bajo el nombre de silogismo categrico, la combinacin de tres proposiciones
categricas, dispuestas en dos premisas y una conclusin.

Ilustracin 10.
Consideremos el silogismo.
Todos los cocodrilos son anfibios
Todos los anfibios son animales que viven en la tierra o en el agua.
Todos los cocodrilos son animales que viven en la tierra o en el agua.

Designaciones y convenciones.
Las proposiciones 1) y 2) se denominan premisas.
La proposicin 3) se denomina conclusin.
El trmino - predicado de la conclusin, animales que viven en la tierra o en el agua se
denomina el trmino mayor del silogismo .
La premisa donde figura el trmino mayor, se denomina premisa - mayor , en nuestro
ejemplo corresponde a la premisa 2).
El trmino - sujeto de la conclusin, cocodrilo, se denomina trmino menor del
silogismo .
La premisa donde figura el trmino menor, se denomina premisa menor , en nuestro
ejemplo corresponde a la premisa 1).
El trmino anfibio que no figura en la conclusin pero que aparece en cada premisa se
denomina trmino medio , pues su funcin es servir de nexo entre el trmino mayor y el
menor.
La descripcin anterior la podemos resumir esquemticamente as:
Premisa menor. Todo C es A
Premisa mayor. Todo A es T

Conclusin Todo C es T.
Tenemos en consecuencia que T corresponde al trmino mayor; C corresponde al trmino
menor y A corresponde al trmino medio. Usualmente se escribe primero la premisa
mayor y a continuacin la premisa menor, designando esta distribucin como la forma
estndar del silogismo . Con base en esta forma el ejemplo anterior lo representamos as:
Premisa mayor. Todo A es T
Premisa menor. Todo C es A
Conclusin Todo C es T.
La localizacin del trmino medio en las premisas es llamado la figura del silogismo .
Puesto que hay dos premisas y dos posibles posiciones en cada premisa, se generan por lo
tanto cuatro figuras que se identifican en general con los siguientes nmeros:
1

P mayor

P menor

Conclusin

Como en cada figura las premisas y la conclusin pueden corresponder a una cualquiera de
las cuatro formas categricas, se hace necesario para identificar completamente un
silogismo indicar tanto el modo de las proposiciones , como la figura . Para ello
indicaremos inicialmente la secuencia de letras correspondientes al modo de cada una de
las proposiciones categricas y al final, el nmero asociado a la figura . En el ejemplo que
hemos ilustrado su designacin corresponde a AAA - 1.
Ilustracin 11.
Para los silogismos que se enuncian a continuacin, presentar su estructura simblica y
establecer su cdigo de clasificacin.
Ningn ave ornamental es un animal rapaz.
Todos los canarios son aves ornamentales .
Ningn canario es un animal rapaz.

Estructura simblica.
P mayor. Ningn O es R
P menor. Todo C es O

Conclusin Ningn C es R. Cdigo de clasificacin: EAE - 1

2) Ningn marxista defiende la propiedad privada.


Todos los conservadores defienden la propiedad privada.
Ningn conservador es marxista.
Estructura simblica.
P mayor. Ningn M es P
P menor. Todo C es P
Conclusin Ningn C es M. Cdigo de clasificacin: EAE - 2

Ejercicios propuestos 4.8.2


Para cada cdigo de clasificacin que se indica, escriba un silogismo que lo ilustre.
AII - 1
EIO - 3
AEE - 2
AAI - 4
IEO - 2
AIE - 3
EEO - 4
AEO - 3
AOE - 2
AIA - 1

Presentar cada uno de los siguientes silogismos en la forma estndar; indicando su


cdigo.
Ningn poeta griego fue un genio, porque ningn poeta griego fue excntrico, y los
genios son excntricos.

Algunos burcratas no son elegidos con base en su habilidad y todos los burcratas son
servidores civiles, por eso algunos servidores civiles no han sido elegidos con base en su
habilidad.
Ninguna mquina es capaz de mantener un movimiento perpetuo; porque toda mquina
est sujeta a friccin, y nada que est sujeto a friccin es capaz de mantener un
movimiento perpetuo.
Todo buen poema merece leerse pero algunos poemas buenos son difciles. Por lo tanto
algunas cosas que merecen leerse son difciles.
Todas las personas inteligentes pueden aprender lgica, cualquiera que lea este texto es
inteligente. Por tanto cualquiera que lea este texto puede aprender lgica.

4.8.3 La validez del silogismo categrico.


Podemos observar que, puesto que cada premisa puede ser de cualquiera de las cuatro
formas categricas, A, E, I, O, para cada figura pueden construirse 4 x 4 x 4 = 64 posibles
esquemas, llamados modos del silogismo. Por tanto el nmero total de modos posibles
para las cuatro figuras es de 64 x 4 = 256. Pero de ellas solamente 24 son vlidas. A
continuacin entraremos a diferenciar las formas vlidas de las no vlidas; sin embargo
antes debemos aclarar que si dos silogismos tienen la misma forma ellos son ambos vlidos
o invlidos, independientemente de que en un caso las premisas sean verdaderas y en el
otro falsas.
Ilustracin 12.
Consideremos el silogismo.
Todas las flores son animales que viven en la tierra o en el agua.
Todos los cocodrilos son flores.
Todos los cocodrilos son animales que viven en la tierra o en el agua.
Podemos observar que su estructura es anloga a la de nuestro primer ejemplo y el nico
cambio introducido es anfibio por flor. Sus cdigos son idnticos AAA - 1, y como
veremos, este corresponde a un silogismo vlido en todos los casos as en el primer
ejemplo las premisas sean verdaderas y en el segundo falsas.

Reglas de validez para el silogismo categrico.


Un silogismo es vlido, si y slo si, satisface todas las reglas siguientes
El trmino medio debe ser antecedente como mnimo en una premisa.

Si un trmino es antecedente en la conclusin, debe ser antecedente en la premisa donde


figure.
Las premisas no pueden ser ambas negativas.
Si una de las premisas es negativa, la conclusin debe ser negativa; y si la conclusin es
negativa una premisa debe ser negativa.
Ilustremos dos situaciones especficas. Considrense las formas simblicas de los
silogismos:
Todo M es V
Todo A es V

Todo A es M
En este caso podemos observar que el trmino medio V es consecuente en ambas premisas,
y por esta razn se dice que viola la regla 1 y en consecuencia este silogismo (AAA - 2) es
invlido . Un ejemplo de esta estructura es: