Formas proposicionales La lgica matemtica se ocupa del anlisis de las proposiciones y demostraciones del r azonamiento lgico, proporciona ideas

claras y precisas sobre la naturaleza de la conclusin ded uctiva, desarrolla el pensamiento funcional y hace una contribucin esencial al desarrollo del pensamiento cientfico y creador. Esto se manifiesta, por ejemplo, en la correcta comprensin de las estructuras lgicas y las tareas formales, en el reconocimiento de las semejanzas de los difer entes fenmenos lgicos, en la aplicacin de las leyes y reglas lgicas y en la pretensin de claridad, sencillez y economa en la expresin lingstica. Una de las propiedades de la forma de expresin matemtica, es la de representar los objetos, las imgenes mentales, los vnculos y las relaciones mediante smbolos (signos), y com binarlos entre s. Definicin 1.1 Constante Una constante es un signo que tiene una determinada significacin fija. Es decir; una constante tiene, en todo el desarrollo de una investigacin o en la solucin de una tarea, siempre la misma significacin. Definicin 1.2 Variable Una variable es un signo que representa cualquier elemento de un dominio bsico pr eviamente establecido. Esto quiere decir que una variable se puede sustituir por el signo de cualquier elemento del dominio bsico. Entonces se habla de la sustitucin de la variable, o de la interpre tacin de la variable. Definicin 1.3 Trmino Por trmino entendemos las constantes, las variables y sus combinaciones mediante los signos de operacin y los signos tcnicos. Los trminos son, por tanto, las denominaciones de los objetos matemticos o las com binaciones de signos donde se presentan variables, constantes y signos de operaciones, y qu e mediante la interpretacin de las variables se omiten en las designaciones de los objetos m atemticos. El objeto matemtico, identificado como un trmino, y en cuya denominacin se omite este calific ativo 9 [Link] CAPTULO 1. LGICA MATEMTICA 10 despus de la interpretacin de las variables, se conoce como valor del trmino. Las proposiciones son estructuras lingsticas cuyo valor de verdad es, o verdadero o falso. La lgica clsica, a travs de sus axiomas y principios, ha hecho algunas consideraciones sobre el contenido de verdad de una proposicin. El principio de la bivalencia expresa: Toda proposic in o es falsa o es verdadera. De este principio se pueden deducir dos teoremas. 1. El teorema de la tercera posibilidad excluida, expresa: Toda proposicin es falsa o verdadera. 2. El teorema de la contradiccin excluida, expresa:

Ninguna proposicin es falsa y verdadera al mismo tiempo. En las observaciones posteriores veremos que los dos teoremas, considerados en c onjunto, expresan exactamente lo mismo que el principio de la bivalencia. Por consiguiente, se pue de proceder a la inversa; es decir deducir el teorema de la bivalencia a partir del principi o de la tercera posibilidad excluida y del principio de la contradiccin excluida. A cada proposicin se le hace corresponder un valor de verdad, o falso F o verdade ro V. Es por esta razn que tambin se habla de una lgica bivalente. La asignacin de los valores de verdad F o V de una proposicin, no es tan sencillo de determinar. Aunque en el principio de la bivalencia se expresa claramente que una proposicin es falsa o verdadera, no se puede decir inm ediatamente si cada proposicin es falsa o verdadera. En matemticas existen actualmente muchas pro posiciones que hasta el momento no han podido ser demostradas, concebida, la demostracin, co mo una aseveracin de la verdad, a continuacin se dan dos ejemplos de este tipo de proposi ciones. Ejemplo 1.1 La proposicin: Todo nmero par que sea mayor que 4, se puede representar como la suma de dos nmeros primos, excepto el 2, existe desde el ao 1742. Hasta el momento no se ha podido demostrar si es una proposicin falsa o verdadera. (Suposicin de Go ldbach). Definicin 1.4 Forma proposicional Una estructura lingstica que contiene por lo menos una variable libre, se conviert e en una proposicin, cuando se sustituyen todas las variables por smbolos, que denotan objetos del dom inio bsico, recibe el nombre de forma proposicional. Ejemplo 1.2 8 + x <12 con x 2 N no representa evidentemente ninguna proposicin. E sta sucesin de signos no es ni falsa ni verdadera. Mediante las sustituciones de la v ariable x podemos formar proposiciones falsas y verdaderas. As, con las sustituciones 0, 1, 2, 3 ob tenemos siempre proposiciones verdaderas, y cualquier otra sustitucin dar lugar a proposiciones fa lsas. En este caso, encontramos una expresin lingstica especial que no es una proposicin, per o que, sin embargo, se convierte en una proposicin mediante la sustitucin de la variable. A las expresiones matemticas de este tipo se las denomina formas proposicionales. Las variables en tales expresiones se denominan variables libres. Las formas proposicionales s urgen cuando entre los trminos que contienen variables se coloca un determinado signo de relacin. De forma anloga al convenio establecido para la notacin de trminos, denotamos una forma proposicio nal con P(x1; x2; :::; xn). Todos los elementos cuyos smbolos convierten una forma propos icional en una proposicin, constituyen el conjunto solucin de esta forma proposicional. El conjun to solucin comprende solamente aquellos elementos del dominio bsico cuyos smbolos convierten una forma proposicional en una proposicin verdadera. Las formas proposicionales se pueden c lasificar en la

forma siguiente: aquellas formas proposicionales que mediante una sustitucin por lo menos, se [Link] CAPTULO 1. LGICA MATEMTICA 11 pueden transformar en una proposicin verdadera, se denominan interpretables. Toda s las dems se denominan no interpretables. Entre las interpretables se destacan las formas proposicionales de validez general, que son aquellas que al hacer cualquier sustitucin por los eleme ntos del dominio bsico se convierten en una proposicin verdadera. Ejemplo 1.3 (x+y)2 = x2 +2xy +y2 8 x; y 2 R. En toda sustitucin de x e y por elem entos del dominio bsico se obtiene una proposicin verdadera. Este ejemplo es, por tanto, una forma proposicional de validez general en el conjunto de los nmeros reales. El conjunto solucin es el conjunto de todos los pares (x, y) donde x e y son elementos de un dominio bsico; luego, en este caso coincide con el conjunto base de solucin. Este ejemplo trata entonces de una identidad. Ejemplo 1.4 Sea (x + y)2 = x2 + y2 8 x; y 2 R. (x + y)2 x2 + y2 Valor de verdad 0 0 V 9 9 V 36 36 V 9 5 F 361 193 F La presente tabla muestra que a partir de esta forma proposicional se pueden obt ener proposiciones falsas y verdaderas. El conjunto solucin es, un subconjunto propio del conjunto b ase de solucin. El conjunto solucin consta, de los pares ordenados de elementos del domin io bsico. Este ejemplo trata entonces de una neutralidad. Ejemplo 1.5 x2 5x + 10 = 0 x 2 R. En el dominio bsico no hay elementos que satisf agan esta forma proposicional, es decir, toda sustitucin la convierte en una proposicin falsa. Este ejemplo trata por consiguiente de una contradiccin. 1.1.1. Operaciones entre proposiciones lgicas En esta seccin trataremos exclusivamente las proposiciones y las formas proposici onales. Primeramente, introduciremos algunas combinaciones de proposiciones, mediante la s cuales a su vez se obtienen otras proposiciones. Despus obtendremos mediante definiciones las fun ciones proposicionales y ms tarde las funciones veritativas. En todas las operaciones con proposiciones sealaremos el proceso de abstraccin circunstancia - proposiciones - valores de verdad. Definicin 1.5 Proposicin Denominaremos proposicin a una frase narrativa que puede calificarse como verdade ra o falsa, pero no ambas al mismo tiempo. Los valores verdadero y falso mencionados en la definicin se denominan valores de certeza o valores de verdad. As cuando una proposicin se considere verdadera o falsa diremos que dicha proposicin tiene valor de certeza verdadero o falso. Ejemplo 1.6 Las siguientes frases son proposiciones:

- La tierra es plana. - 547 es un nmero primo. - Los nmeros irracionales son complejos. - Los nmeros complejos son un subconjunto de los reales. - La Escuela Politcnica del Ejercito es un instituto de educacin superior. - No es verdadero que 3 sea un entero par o 7 un primo. [Link] CAPTULO 1. LGICA MATEMTICA 12 - 2n = n2 para alguna n 2 N. - 289301 + 1 es un nmero primo. - Si un rbol tiene n vrtices, entonces tiene exactamente n - 1 aristas. - 2n + n es un nmero primo para una infinidad de n. - Todo entero par mayor que 4 es la suma de dos nmeros primos. - Las matemticas son divertidas. - Los rboles son ms interesantes que las matrices. Ejemplo 1.7 Las siguientes frases no son proposiciones: - Porqu es importante la lgica proposicional? - 323789 ext 205 - Porqu es importante la induccin? - x - y = y - x. Es importante hacer notar que el valor de verdad de una proposicin no es trabajo ni parte de la lgica aqu tratada, por tal razn dichos valores los supondremos ya asignados. Todas las proposiciones constituyen una clase que, a su vez, se descompone en dos subclase s, en la clase de las proposiciones verdaderas V y en la clase de las proposiciones falsas F. La verdad o falsedad de las proposiciones no puede ser demostrada inmediatamente en todos los casos, pero, para toda proposicin, independientemente de que an no haya sido c omprobada ni refutada, solo cabe una de las dos posibilidades, es verdadera V o es falsa F. E l proceso de negacin lo denominamos operacin lgica de un lugar. Los enlaces de dos proposiciones, como resultado de los cuales se obtiene una proposicin nica se denominan operaciones lgicas de dos lu gares. Definicin 1.6 Funcin proposicional de n-lugares Cuando a cada n-uplo de proposiciones se le hace corresponder unvocamente una pro posicin, esta correspondencia se denomina funcin proposicional de n-lugares. Se entiende por n-uplo, un conjunto de n elementos dependientes del orden, en es te caso proposiciones. De todas las funciones proposicionales, las llamadas funciones proposicionales c lsicas tienen una gran importancia por las razones siguientes: a) porque las restantes funciones se pueden representar en trminos de estas. b) porque en la lgica formal tradicional se han tratado especialmente las cinco s iguientes funciones: Nombre Argumento Funciones proposicionales Nmero de lugares Negacin P No P Uno Conjuncin P, Q P y Q Dos Disyuncin P, Q P o Q Dos Implicacin P;Q Si P, entonces Q Dos Equivalencia P, Q P exactamente cuando Q Dos En estas funciones proposicionales el valor de verdad de la proposicin resultante depende solamente de los valores de verdad de los argumentos correspondientes, y no de su contenid o, y se denominan funciones proposicionales extensionales. Adems de las funciones proposi

cionales clsicas existen otras funciones proposicionales que son extensionales. En el transcurso de las observaciones hemos hecho abstraccin del contenido concre to de las proposiciones o de los enlaces de proposiciones y, alcanzado las etapas de abstr accin de las funciones proposicionales. [Link] CAPTULO 1. LGICA MATEMTICA 13 Continuamos el proceso de abstraccin sobre la base de las afirmaciones ya hechas. Si tambin realizamos el paso de transicin de las proposiciones a los valores de verdad, ent onces obtenemos las funciones veritativas correspondientes a las funciones proposicionales. Definicin 1.7 Funcin veritativa de n-lugares Cuando a cada n-uplo de valores de verdad se le hace corresponder unvocamente un valor de verdad, entonces esta correspondencia recibe el nombre de funcin veritativa de n lugares. Las funciones proposicionales y las funciones veritativas pertenecen a diferente s niveles de abstraccin. Por este motivo es conveniente introducir otros smbolos para las funciones verita tivas. Con la negacin de una proposicin queremos expresar la idea de que esto no se refie re a la circunstancia que a ella corresponde. Cuando negamos una proposicin P, entonces obtenemos otra proposicin :P, es decir, la negacin de P. A travs de esta operacin obtenemos una pro posicin cuyo valor de verdad es contrario al valor de verdad de P. Frecuentemente en el lenguaje comn, una negacin se expresa mediante prefijos que i ndican negacin o mediante adverbios de negacin. Por ejemplo, se dice en lugar de no regul ar, irregular, y en lugar de no un, simplemente ningn, etc. Al formular ciertas negaciones puede n surgir con mucha facilidad algunas confusiones, cuando simplemente se expresa la negacin med iante antnimos o contrarios. Por ejemplo, negro y blanco, pequeo y grande, positivo y negativo, orden y caos s on, en cierto sentido, contrarios que no pueden ser expresados a travs de una negacin. Aqu defini remos la negacin como una funcin veritativa, aunque la denominacin de negacin se utiliza tamb in para la funcin proposicional :P y para la operacin negacin. Definicin 1.8 Negacin Se denomina negacin a la funcin veritativa de un lugar, cuyos valores se fijan de la manera siguiente: P : P V F F V La negacin corresponde a la funcin proposicional de un lugar :P. La afirmacin :P es verdadera cuando la proposicin P es falsa, y :P es falsa cuando la proposicin P es verdadera . Mediante la negacin de una proposicin P se obtiene una nueva proposicin :P cuyo val or de verdad es opuesto al valor de verdad de P. Ejemplo 1.8 Sea P: Los billetes de $ 5000 contienen la efigie de Rumiahui.

La negacin de P es la proposicin: :P: Los billetes de $ 5000 no contienen la efigie de Rumiahui. Dadas las proposiciones P, Q consideremos la construccin de proposiciones de la f orma (P y Q). Ejemplo 1.9 En la bsqueda de un profesor la ESPE publica el siguiente aviso: Se solicita profesor con especialidad en Pedagoga y lgebra. Se presentan cuatro candidatos A, B, C y D con las caractersticas siguientes: A: Tiene ambas especialidades (V; V) B: Slo tiene la especialidad de Pedagoga (V; F) C: Slo tiene la especialidad de lgebra (F; V) [Link] CAPTULO 1. LGICA MATEMTICA 14 D: Slo tiene la especialidad de Qumica (F; F) Como podemos darnos cuenta, puesto que A cumpli con los requisitos, entonces A es el ganador del empleo.