4.

1 Introduccin 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:

Ejercicios propuestos 4.1 En las siguientes proposiciones diferenciar trmino y predicado y hacer la simbolizacin correspondiente. 1. 2. 3. 4. O Antonio llega temprano o Jos se marchar pronto. Si el sol es una estrella, tiene luz propia. Mario es estudioso e inteligente, pero distrado. Si Jess y Ramiro no llegan temprano, Daro dar comienzo a la conferencia.

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: "x es un nmero racional y z es un nmero irracional" se puede simbolizar como:

Si en una forma compuesta hay por lo menos una funcin proposicional como componente, entonces toda la forma compuesta es una funcin proposicional. Ejemplo:

es una funcin proposicional ya que Ejercicios propuestos 4.2

lo es.

1) Simbolizar las siguientes expresiones e indicar si son funciones proposicionales o proposiciones: Fulano es muy generoso. x es par y 6 tambin.

 x e y son impares. 2 es un nmero par y primo. 2) Indicar cules de las siguientes expresiones representan funciones proposicionales.

3) Dadas las siguientes funciones proposicionales, individualizar las variables para obtener proposiciones verdaderas. x es primo impar menor que 10. x es un nevado colombiano. x divide a z y w. 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. en una proposicin a saber:

Existen tres formas de convertir una funcin proposicional

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. " se representa como:

El enunciado "existe al menos un x tal que

El enunciado "para todo x,

" se representa como:

Al anteponer a la funcin proposicional pasado a ser variable ligada .

un cuantificador, se dice que la variable x ha

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 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). , donde M x simboliza la expresin "x es mortal".

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 designa la frmula Notas: , entonces

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 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 es

2.6 2.7 3. Sean:

Determinar: 3.1 3.2 3.3 3.4 3.5 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 que es falsa. Basta demostrar, por la equivalencia establecida, que es teorema, o tambin

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 contraejemplo porque P 0 es verdadera. Para a , b , c enteros. Si a |( b + c ) entonces a | b a | c es verdadera, equivale a vemos que 0 (cero) es un

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 ( " x)(P x Q 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

M x ). G x ).

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

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

4. P w V w 5. V w

M w Simplificacin en 3 y RV2.

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

9. ( $ x) (G x

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 Verificar que es teorema.

es verdadero para una constante a especfica. . Axioma 5.

. Regla de validez 2.

Ilustracin 5. Demostrar que Designamos por P x : es verdadera. es teorema.

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 es teorema.

Se demuestra que P es teorema. Se concluye que es teorema, por la regla G.U.

Ilustracin 6. Demostrar: Todo entero de la forma Enunciado simblico: es tambin de la forma

Supongamos: esto es; por tanto

Hiptesis 1. Simplificacin en la hiptesis

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 y se puede concluir

1) Supongamos:

Premisa Premisa Equivalencia en (1) Hiptesis Auxiliar 1

Simplificacin en (4)

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. o Hernndez es estudiante y empleado. Todos los empleados cobrarn su sueldo y su aguinaldo. Luego, Hernndez cobrar su sueldo. o 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 ( $ x)(P x Gw Pw A x ). A x ) / \ ( $ x)(G x P x ).

A w E.E en 1 A w E.E en 2.

G w simplificacin en 3. P w simplificacin en 4. Gw P w conjuncin en 5 y 6. P x ) G. E en 7.

( $ x)(G x

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: ( $ x )( A x R x ) Premisa Premisa

 Supongamos: A x

Premisa 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 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 . ; esta

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

 Probemos existencia: En particular luego: es verdadero. es verdadero.

Probemos unicidad. Supongamos que: esto es: Simplificacin Transitividad en la igualdad Ley cancelativa en la suma Ley cancelativa en el producto. Mtodo directo es verdadero. Hiptesis auxiliar

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: Universal negativa: Particular afirmativa: Particular negativa: . Se designar por A. . Se designar por E. . Se designar por I. . 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. E. I. O. tambin tambin , 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 M S S P M P P S S 2 M M P M M S 3 P S P P M S 4 M S P

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: