TEMAS DE MATEMTICAS (Oposiciones de Secundaria)

TEMA 70 LGICA PROPOSICIONAL. EJEMPLOS RAZONAMIENTO MATEMTICO. Y APLICACIONES AL

1. Introduccin. 2. El Lenguaje para la Lgica de Proposiciones. 2.1. Sintaxis. 2.1.1. Reglas de Formacin. 2.1.2. Conectivas. 2.2. Semntica. 2.2.1. Tablas de Verdad. 2.2.2. Equivalencia. 2.2.3. Tautologas y Contradicciones. 3. Validacin de Sentencias Proposicionales. 4. Leyes de la Lgica de Proposiciones. 5. Sistema Axiomtico del Clculo de Proposiciones. 6. Sistema Inferencial del Clculo de Proposiciones. 6.1. Reglas de Inferencia. 6.2. Proceso de Inferencia. 7. La Demostracin en Matemticas. 7.1. Demostraciones Directas. 7.2. Demostraciones Indirectas. 7.3. Demostraciones por Recurrencia o Induccin Completa. 8. lgebra de Boole de las Proposiciones. Bibliografa Recomendada.

1/19

TEMA 70 LGICA PROPOSICIONAL. EJEMPLOS RAZONAMIENTO MATEMTICO. Y APLICACIONES AL

1. INTRODUCCIN. La Lgica es una ciencia que trata de ser la teora formal del razonamiento, por ello es una herramienta muy importante para el anlisis de argumentos. Segn la Academia de la Lengua, la Lgica es la disciplina que estudia la estructura, fundamento y uso de las expresiones del conocimiento humano. Otra cuestin a tener en cuenta en el estudio de la Lgica es su relacin con la Teora de Conjuntos. Conocida es la posibilidad de establecer un isomorfismo entre sta y una gran parte de aquella, lo que nos garantiza que muchos teoremas, en cualquiera de las dos teoras, tiene su contrapartida en la otra. Este hecho hace que sea posible la explicacin de las dos de manera anloga y simultnea. La Lgica pretende ser una ciencia y por ello tener capacidad de realizar operaciones o clculos de modo preciso. Para conseguirlo se requiere la confeccin de un lenguaje artificial que, contando con reglas explcitas, permita usar componentes y combinarlos para formar enunciados. Una primera rea del estudio de la lgica es la lgica de proposiciones, que trata de las combinaciones de variables en proposiciones arbitrarias. Estas variables se llaman variables lgicas o proposicionales. Estas variables pueden asumir los dos valores de la lgica clsica, los de verdad o falsedad. En lgica de proposiciones se pueden producir nuevas proposiciones aplicando las frmulas lgicas a las proposiciones existentes. El inters de la lgica de proposiciones est en el estudio de estas reglas qe permiten producir nuevas variables y proposiciones en funcin de otras ya conocidas.

2. EL LENGUAJE PARA LA LOGICA DE PROPOSICIONES. Vamos a definir un lenguaje que nos permita representar las frmulas sentenciales para su estudio. Esto supone definir los smbolos que utilizaremos y las reglas de cmo utilizar estos smbolos para formar frmulas sentenciales correctas, es decir, la sintaxis de nuestro lenguaje, as como la semntica, asignacin de un significado lgico a las sentencias. En la lgica de proposiciones los enunciados declarativos del tipo: Est lloviendo Antonio corre Clara aprueba pueden ser verdaderos o falsos, pero no las dos cosas a la vez.

2/19

DEF Llamaremos proposicin a un enunciado declarativo que puede ser verdadero o falso pero no ambas cosas a la vez.

2.1. Sintaxis. El primer paso en el estudio de un lenguaje es definir los smbolos bsicos que lo constituyen, el alfabeto, y cmo se combinan para formar sentencias, es decir, la sintaxis o estudio de los signos como puras y simples figuras, independientemente de lo que designan y significan, y las relaciones de los signos entre s. El alfabeto con el que vamos a trabajar es el siguiente: Los smbolos de Verdadero, V 1, y Falso, F 0. Los smbolos que representan variables proposicionales, p, q, r, s, ... Los smbolos que representan las conjunciones y/o los adverbios, que en lgica denominaremos conectivas, tales como no, y, o, o..o..., si...entonces..., si y solo si, y que son representadas mediante , , , , , . Los smbolos de puntuacin como (, ), utilizados para evitar ambigedades. La conectiva es unitaria, pues slo acta sobre un operando, el cual se coloca detrs de la conectiva. El resto de las conectivas son binarias, pues operan sobre dos operandos. 2.1.1. Reglas de Formacin. Una secuencia finita de smbolos de variables proposicionales, conectivas y parntesis forman una frmula sentencial. Por ejemplo: ) p( p ( q r) s son frmulas sentenciales. Aunque la nica que significa algo es la segunda, por lo tanto slo esta expresin es una sentencia. Diremos que la segunda expresin es una frmula sentencial bien formada (o smplemente fbf), mientras que la primera es una frmula sentencial mal formada. La diferencia entre ambas es sintctica, siendo la segunda la nica que puede tener significado. Para poder obtener frmulas bien formadas, hemos de tener en cuenta las llamadas reglas de formacin. Son tres: 1) Una variable proposicional es una fbf. 2) Una fbf precedida de la negacin () es una fbf. 3) Dos fbf unida por una conectiva binaria constituye una fbf. Ejemplos de fbf es p ; p ; (pq) ; [p(qp)]

3/19

Las reglas de formacin se pueden relajar para facilitar la lectura y la escritura. As tenemos: Se pueden omitir los parntesis que encierran una sentencia completa. El estilo tipogrfico de los parntesis se puede variar para hacerlos ms evidentes. A las conjunciones y disyunciones se les puede permitir tener ms de dos argumentos: pqr.

2.1.2. Conectivas. Las conectivas las dividimos en conectivas singulares y binarias, dependiendo de que se apliquen a una nica sentencia o a dos. a) Negacin. Es la nica conectiva singular. La simbolizamos por medio de precediendo a la variable proposicional o sentencia que niegue. b) Conjuncin. La conectiva y la simbolizamos con el signo insertado entre dos variables proposicionales o sentencias, de la forma pq, leyndose p y q. c) Disyuncin. A la conectiva o se le dan dos sentidos, los cuales quedan reflejados en el lenguaje ordinario cuando se distingue entre o y o...o.... El primero corresponde a o bien p, o bien q, o ambas. Es la llamada disyuncin inclusiva. El segundo corresponde a o bien p o bien q, pero no ambas. Es la disyuncin exclusiva. La disyuncin inclusiva la simbolizamos por el smbolo insertado entre las dos sentencias, pq, leyndose p o q. La disyuncin exclusiva la simbolizamos con el signo , insertado entre dos sentencias, pq, y se lee o p o q d) Condicional. La conectiva si...entonces... la simbolizamos mediante insertado entre dos sentencias, pq, y se lee si p entonces q. La primera sentencia del condicional, p, recibe el nombre de antecedente. La segunda, q, consecuente. Hemos de advertir que no debemos de confundir el condicional con la implicacin.

4/19

e) Bicondicional. El bicondicional o conectiva ...si y slo si... se simboliza mediante .

2.2. Semntica. Hasta ahora hemos presentado la sintaxis o forma de las sentencias de la lgica proposicional. Ahora, le vamos a asignar a cada sentencia un valor de verdad, V si es verdadera y F si es falsa. La asignacin de unos valores concretos de verdad a cada variable proposicional y a cada sentencia corresponde a una interpretacin. Hemos de tener en cuenta que a todas las ocurrencias de una variable proposicional se les asigna el mismo valor dado por la interpretacin.

2.2.1. Tablas de Verdad. Dada una interpretacin para una sentencia, podemos determinar su valor de verdad bajo esta interpretacin aplicando ciertas reglas que dan significado a las conectivas que la constituyen. Para ello partiremos del principio de que el valor de verdad de cualquier sentencia est determinado por los valores de verdad de cada variable proposicional que la compone. Para determinar el valor de verdad de una sentencia para una interpretacin determinada, nos podemos ayudar de las denominadas tablas de verdad. La Tabla de Verdad de una sentencia es una tabla en la que se presentan todas las posibles interpretaciones de las variables proposicionales que constituyen la sentencia y el valor de verdad de la sentencia para cada interpretacin. Corresponden a un modo mecnico de determinar la verdad o falsedad de una sentencia dada una interpretacin de las variables proposicionales que la constituyen. En la tabla siguiente resumimos las seis tablas de verdad de las seis conectivas vistas p V V F F q V F V F p F F V V p q V F F F p q V V V F p q F V V F p q V F V V p q V F F V

Cada una de las filas de esta tabla corresponde a una interpretacin de las variables proposicionales p y q. Las tablas de verdad no se confinan slo a la expuesta anteriormente, sino que se hacen tablas de verdad para comprobar mecnicamente los valores de verdad de cualquier sentencia. Por ejemplo, la sentencia (pq)((p)(q)) 5/19

tendr cuatro posibles interpretaciones. Para construir la tabla de verdad, en las columnas de la izquierda ponemos los valores de verdad de p y q para cada una de las cuatro posibles interpretaciones. Para cada una de dichas interpretaciones, vamos poniendo en columnas sucesivas los valores de verdad de cada una de las subsentencias que la constituyen. La ltima columna de la derecha tendr los valores de verdad de la sentencia en su conjunto. p V V F F q V F V F p q V F V V p F F V V q F V F V ( p) ( q) Sentencia V V V V F F V V

Tambin se pueden construir tablas de verdad para sentencias que contengan ms de dos variables proposicionales. Slo hemos de tener en cuenta que tendremos 2n interpretaciones, siendo n el nmero de variables proposicionales de la sentencia.

2.2.2. Equivalencia. DEF Diremos que dos sentencias son Equivalentes si tienen los mismos valores de verdad para cualquier interpretacin, es decir, si sus tablas de verdad son iguales. La equivalencia la representaremos mediante el smbolo PROP La relacin anterior definida entre dos sentencias verifica las propiedades Reflexiva, Simtrica y Transitiva, siendo una relacin de Equivalencia. Esta relacin de equivalencia permitir catalogar todas las sentencias en clases de equivalencia. As, para todo el conjunto infinito de sentencias con dos variables proposicionales, su tabla de verdad corresponder a una de las diecisis clases de equivalencia que existen para ese tipo de sentencias.

2.2.3. Tautologas y Contradicciones. Cada una de las clases de equivalencia que surgen de la relacin anterior pueden contener valores verdaderos y falsos, slo verdaderos o slo falsos. DEF Diremos que una sentencia es indeterminada si tiene interpretaciones verdaderas para unos casos y falsas para otros. Por ejemplo, la sentencia pq es indeterminada, ya que su valor final depende de que interpretacin le demos a p y a q. DEF Diremos que una sentencia es una tautologa si todas sus interpretaciones son verdaderas. Son tautologas las sentencias p(p) cuya demostracin dejamos como ejercicio. 6/19 ((pq) (qr)) (pr)

DEF Diremos que una sentencia es una Contradiccin si todas sus interpretaciones son falsas. Ejemplos de contradicciones son p ( p ) [ ( p q ) p ]

3. VALIDACIN DE SENTENCIAS PROPOSICIONALES. Un problema importante para cualquier sistema lgico es el problema de encontrar un procedimiento efectivo para verificar la validez o tautologa de una sentencia bien formada. Procedimiento que no es posible para todos los sistemas lgicos. El problema de encontrar un procedimiento de validacin de las sentencias bien formadas se denomina Problema de Decisin. Para los sistemas en que se puede encontrar un procedimiento de decisin, se dice que el problema es Resoluble y el sistema Decidible. Para los sistemas en que no se puede encontrar un procedimiento de decisin se dice que el problema de decisin es Irresoluble y el sistema es Indecidible. La lgica de proposiciones es un sistema decidible. De hecho se conocen varios procedimientos de decisin, entre los que podemos destacar Validacin mediante tablas de verdad rboles Semnticos. Refutacin.

El ltimo de los procedimientos es muy conocido en matemticas, pues consiste en suponer falsa la sentencia a validar, y ver si ello supone una contradiccin.

4. LEYES DE LA LGICA DE PROPOSICIONES. Existen un nmero infinito de Tautologas. Ahora bien, del infinito nmero de tautologas posibles, hay algunas que son especialmente tiles para los procesos de deduccin. stas las agruparemos por afinidad y les damos el nombre de leyes o teoremas. 1) Ley de identidad: pp pp indica que cualquier sentencia es equivalente a ella misma. 2) Ley de la doble negacin: pp indica la equivalencia entre una sentencia y la negacin de su negacin.

7/19

3) Ley del tercio excluso: pp indica que siempre se verifica una sentencia o su negacin. 4) Ley de contradiccin: (pp)

es la contraposicin a la anterior, nunca se puede verificar a la vez una sentencia y su negacin. 5) Leyes de Morgan: (pq)(pq) (pq)(pq)

Estas leyes fueron conocidas por Occam e indican que la negacin de una conjuncin se puede transformar en una disyuncin de negaciones, y que la negacin se puede transformar en una conjuncin de negaciones. 6) Ley de reduccin al absurdo: (p(qq))p utilizada para demostrar una conclusin partiendo de la negacin de la misma. 7) Leyes de conmutacin: (pq)(qp) (pq)(qp) (pq)(qp) indican que los trminos de conjunciones, disyunciones y bicondicionales se pueden conmutar. 8) Leyes de asociacin: ((pq)r)(p(qr)) ((pq) r)(p (qr)) ((pq) r)(p (qr)) indican que los trminos de conjunciones, disyunciones y bicondicionales se pueden agrupar como se quiera. 9) Leyes de transposicin: (pq)(qp) (pq)(qp) indican que los trminos de un condicional y de un bicondicional se pueden intercambiar si se les hace preceder de la negacin. 10) Leyes distributivas: (p(qr))((pq)(pr))

8/19

(p(qr))((pq) (pr)) (p(qr))((pq) (pr)) (p (qr))((pq)(pr)) indican que una conjuncin se puede distribuir en una disyuncin; que una disyuncin se puede distribuir en una conjuncin; y que un condicional se puede distribuir tanto en una conjuncin como en una disyuncin. 11) Ley de permutacin: (p(qr))(q (pr)) indica que el antecedente del consecuente de un condicional se puede intercambiar por el antecedente. 12) Ley del silogismo: (pq)((qr)(pr)) 13) Silogismo hipottico o transitividad: ((pq)(qr))(pr) ((pq)(qr))(pr) muestra la transitividad del condicional. 14) Leyes de inferencia de la alternativa o de los silogismos disyuntivos: [p(pq)]q [p(pq)]q 15) Ley del dilema constructivo: [(pq)(pr)(qr)]r 16) Segunda ley del dilema constructivo: [((pq)(rs))(pr)](qs) 17) Ley del dilema destructivo: [(pq)(rp)(sq)](rs) las tres ltimas leyes (15, 16 y 17), y sobre todo la ley del dilema constructivo, eran muy usadas en la antigua retrica y todava son muy comunes en las discusiones para poner al adversario en un aprieto. 18) Ley de exportacin: [(pq)r][p(qr)]

9/19

indica que una parte del antecedente de un condicional puede pasar al consecuente mediante un cambio de conectiva. 19) Ley de resolucin: [(pq)(pr)](qr) esta ley nos permite eliminar las sentencias contradictorias. La usaremos para automatizar el proceso de deduccin. 20) Ley del bicondicional: (pq)[(pq)(qp)] indica que un bicondicional se puede transformar en un par de condicionales. 21) Condicional-disyuncin: (pq)(pq) muestra la equivalencia entre un condicional y una disyuncin. 22) Condicional-conjuncin: (pq)(pq) muestra la equivalencia entre un condicional y la negacin de una conjuncin. 23) Leyes de simplificacin: (pq)p p(pq) indican que una conjuncin implica cualquiera de sus trminos competentes; y que una disyuncin est implicada por cualquiera de sus trminos componentes. 24) Leyes de expansin: (pq)[p(pq)] (pq)[q(pq)] indican que los condicionales se pueden transformar en bicondicionales. 25) Modus ponendo ponens: [(pq)p]q segn el cual se puede afirmar el consecuente de un condicional si se afirma su antecedente. 26) Modus tollendo tollens: [(pq)q]p segn el cual se puede negar el antecedente de un condicional si se niega su consecuente.

10/19

5. SISTEMA AXIOMTICO DEL CLCULO DE PROPOSICIONES. Podemos formalizar la lgica de proposiciones transformando el lenguaje lgico en un clculo. Entendemos por Clculo la estructura formal de un lenguaje, abstrayendo el significado. Al ser el clculo un sistema de signos no interpretados, su estudio pertenece a la sintaxis. Cuando se les da un significado a los signos, el clculo se transforma en lenguaje, y su estudio pertenece a la semntica. Cuando el clculo se construye sobre la base de unos axiomas, se dice que es clculo es un Sistema Axiomtico. Axiomas son construcciones que se admiten como verdaderas en todos los lenguajes que se pueden formalizar a partir de ese clculo. La idea bsica de construir un sistema axiomtico es elegir como axiomas unas pocas sentencias bien formadas que junto a unas reglas sirvan de puntos de arranque para deducir otras sentencias bien formadas, denominadas teoremas o leyes. Tales reglas son llamadas Reglas de Transformacin. Algunas veces a los teoremas se les denominan tesis, y otras veces la palabra teorema se usa tanto para los axiomas como para los teoremas. Por tanto, para definir un sistema axiomtico tenemos que especificar: Un Alfabeto. Un conjunto de reglas de formacin. Una lista de sentencias bien formadas seleccionadas como axiomas. Una o ms reglas de transformacin.

En un sistema axiomtico la demostracin de una fbf es una secuencia de fbf, de las cuales la ltima es la sentencia que queremos demostrar, y cada una de las fbf de la secuencia es a su vez un axioma o es derivada de algn axioma o teoremas ya existentes. Una sentencia bien formada (o frmula bien formada, fbf) es un teorema si y slo si hay una demostracin de la misma en el sistema axiomtico. Probablemente, el sistema axiomtico mejor conocido en el clculo de proposiciones es el derivado del Principio Mathematica de Alfred North Whitehead y Bertrand Russell (1910), denominado PM. El sistema PM se compone de

Alfabeto.

Los tomos V y F. Los smbolos proposicionales p, q, r, ... Los smbolos de conectivas y . Los smbolos ( y ). Reglas de Formacin Un smbolo proposicional es una fbf. Dada una fbf, su negacin tambin lo es. Dadas dos fbf, su disyuncin tambin lo es.

11/19

 Axiomas.

(p p)p q(p q) ( p q ) ( q p ) (pq)[(r p)(r q)] Reglas de Transformacin. Regla de Sustitucin (Sust.). El resultado de reemplazar cualquier variable en un teorema por una sentencia bien formada es un teorema. Regla de Separacin. (Sep.) Si S y SR son teoremas, entonces R es un teorema. Tengamos en cuenta que slo utilizamos dos conectivas porque el resto se pueden poner en funcin de stas segn las siguientes equivalencias, demostrables mediante tablas de verdad: p q (p q) pqp q p q ( p q ) ( q p ) ( p q ) ( q p) pq(pq) Relativo a un criterio de validacin, un sistema axiomtico debe cumplir las siguientes propiedades. Debe ser lgico o razonable, en el sentido de que todo teorema es una tautologa. Completo. Toda sentencia bien formada vlida es un teorema y se debe poder demostrar a partir de los axiomas. Consistente. No se pueden demostrar como teoremas fbf que no sean tautologas. As, si una fbf es un teorema, su negacin no lo es. Por ltimo, los axiomas y las reglas de transformacin deben ser independientes, es decir, ningn axioma (regla de transformacin) debe ser derivable a partir de los otros.

Se puede comprobar que el sistema PM, tal y como lo hemos definido, verifica las propiedades anteriores. Ejemplo. Demostrar que ( p q ) [( r p ) ( r q )]

es un teorema del sistema PM. 1 (pq)[(r p)(r q)] 2 ( p q ) [ ( r p ) ( r q ) ] 3 (pq)[(rp)(rq)] Axioma 4 Sustituimos r por r Definicin del Condicional

6. SISTEMA INFERENCIAL DEL CLCULO DE PROPOSICIONES.

12/19

La lgica se presenta, muchas veces, como una herramienta para analizar los procesos de razonamiento del lenguaje ordinario. As, el clculo de proposiciones se presenta como el Mtodo de Deduccin Natural. El cual consiste en un grupo de reglas que nos permiten deducir unas conclusiones a partir de unas hiptesis. Esto es lo que llamamos un sistema inferencial. En un sistema inferencial llamamos inferencias a los procesos mediante los cuales obtenemos una conclusin a partir de unas premisas de forma que el razonamiento sea vlido. Una regla de inferencia es la declaracin de las condiciones bajo las cuales se puede hacer una inferencia, as como el resultado de la misma. Una inferencia que siga las reglas ser una inferencia correcta, mientras que si no las sigue ser una inferencia incorrecta. En muchos tratados lgicos podemos encontrar que a la conclusin se la denomina consecuencia lgica de las premisas. Formalmente podemos decir que C es una conclusin o consecuencia lgica de las premisas P1 , P2 , P3 , ..., Pn si y slo si para cualquier interpretacin I para la que P1P2P3...Pn es verdadera, C tambin es verdadera. Se puede demostrar que C es una conclusin o consecuencia lgica de las premisas P1 , P2 , P3 , ..., Pn si y slo si la sentencia P1P2P3...Pn C es una tautologa. O bien, si y slo si la sentencia P1P2P3...PnC es una contradiccin.

6.1. Reglas de Inferencia. Podemos considerar tantas reglas de inferencia como leyes del clculo de proposiciones tengamos, es decir, infinitas, ya que a cada ley le corresponde una regla de inferencia. Pero aunque sean formas diferentes de decir lo mismo, no hay que confundirlas. Una ley es una sentencia bien formada que pertenece al lenguaje del clculo de proposiciones y corresponde al enunciado de una sentencia vlida de inferencia. Una regla es el enunciado de una instruccin para realizar una inferencia vlida. Aunque hay infinitas reglas de inferencia, en los tratados de lgica se presentan conjuntos seleccionados de reglas como sistemas de deduccin natural. As, hemos seleccionado las siguientes reglas de inferencia.

13/19

a) Regla de Separacin. Tambin llamada regla del Modus Ponens y conocida como regla de eliminacin del condicional. (RE). Corresponde a la ley del modus ponens y la formulamos de la siguiente forma: Si un condicional y su antecedente se toman como premisas, se puede inferir el consecuente como conclusin SR S R b) Regla de Unin. Conocida tambin como Regla de la Introduccin de la conjuncin Si dos sentencias se toman como premisas, se puede inferir su conjuncin como conclusin. S R SR Esta regla parece intuitivamente evidente, nada ms natural que afirmar la conjuncin de dos sentencias si se han afirmado ya separadamente las dos sentencias. Sin embargo, un examen ms detallado de la cuestin nos mostrara que la nocin de intuicin es ajena a la de prueba y que es necesario en lgica que cada etapa de una inferencia sea justificada por una regla. c) Regla de Insercin. Cualquier ejemplo de tautologa puede servir de premisa en cualquier inferencia proposicional. Por ejemplo SR RT ST es un razonamiento cuya conclusin no puede ser derivada de unas premisas sino gracias a la regla de insercin. La regla de unin nos permite deducir de las dos premisas anteriores (ST)(RT) pero no nos permite deducir la conclusin. No obstante, la regla de insercin nos permite insertar como premisa suplementaria la ley de transitividad [( ST ) ( RT )] ( ST ) y con la regla de separacin nos permite deducir la conclusin.

14/19

d) Regla de Intercambio. Si se da un bicondicional como premisa, se puede inferir como conclusin el resultado de intercambiar sus componentes en cualquier otra premisa. SR RT ST

6.2. Proceso de Inferencia. Con ayuda de las tautologas enumeradas en el apartado 4 y de las cuatro reglas de inferencia anteriores podemos realizar inferencias en la lgica de proposiciones. El proceso de inferencia se efecta segn las normas siguientes 1) Se simbolizan los enunciados y las conectivas, procurando uniformar el lenguaje. 2) Se indican en lneas separadas las premisas precedidas de la letra P (P1, P2, ...). 3) Se procede a derivar la conclusin a partir de las premisas. Cada frmula se escribe en una lnea aparte, indicndose a la derecha de la misma la inferencia y/o tautologa que permite deducirla. 4) Se indica la conclusin precedida de la letra C. Ejemplo. Supongamos que nos dan las dos premisas siguientes: Si Rivaldo juega, el Barcelona gana Si Rivaldo no juega, el Barcelona pierde. y nos piden concluir que El Barcelona gana o pierde. 1) Sean las proposiciones: J: Rivaldo juega. G: El Barcelona Gana P: El Barcelona Pierde 2) 3) y 4) P1 J G P2 J P 3 J J 4 [((JG)(JP))(JJ)](GJ) 5 (JG)(JP) 6 ((JG)(JP))(JJ) C GP

Premisa 1 Premisa 2 Regla de Insercin (Tercio Excluso) Regla de Insercin (Dilema) Regla de Unin de P1 y P2 Regla de Unin de 3 y 5 Regla de Separacin de 4 y 6

15/19

Este no es el nico conjunto de reglas de inferencia que se puede seleccionar. Sea cual sea el conjunto de reglas de inferencia seleccionado, no es fcil su aplicacin de una forma automtica. Para cada problema es preciso tener una cierta habilidad o conocimiento, expresado en forma de metarreglas, para saber en qu orden aplicar las reglas y a qu premisas. En cualquier caso, el conjunto de reglas que se utilicen debe ser consistente y completo. Estos conceptos son paralelos a los definidos para un sistema axiomtico. Un sistema inferencial es completo si para cualquier conjunto de premisas el sistema infiere toda conclusin que pueda deducirse de las premisas. Un sistema inferencial es Consistente si para cualquier conjunto de premisas, toda conclusin que infiera el sistema tambin se deduce de las premisas.

7. LA DEMOSTRACIN EN MATEMTICAS. Las Matemticas utilizan trminos del lenguaje ordinario y otros especficos. Hay de dos clases: Trminos Primitivos. Los que se introducen con slo enunciarse, es decir, sin definicin. Por ejemplo: elemento, propiedad, conjunto. Trminos Definidos: Los que se introducen dando unas propiedades caractersticas. Por ejemplo: Grupo, tringulo, etc.

Tambin se usan dos tipos de proposiciones: Axiomas o postulados. Proposiciones cuya veracidad se establece por convenio. Por ejemplo, el postulado de Euclides. Teoremas. Proposiciones en las que una proposicin llamada conclusin o tesis resulta ser consecuencia lgica de otras llamadas premisas o hiptesis. El paso de unas a la otra se llama demostracin.

Una ciencia cuyos mtodos de demostracin pertenecen a la lgica se dice que est formalizada. La Matemtica es la ciencia formalizada por excelencia. Las principales demostraciones matemticas son: Directas. Indirectas o por reduccin al absurdo. Por recurrencia o Induccin Completa.

7.1. Demostraciones Directas. Son las demostraciones ms frecuentes. Consisten en razonamientos por los cuales se puede pasar de la hiptesis a la tesis mediante la consideracin de definiciones, axiomas y proposiciones anteriormente establecidas y combinadas segn la regla de inferencia del silogismo. Los teoremas que se demuestran as se llaman directos. 16/19

Si la demostracin es vlida, se dice que son ciertos y que: P es condicin suficiente para que se verifique C C es condicin necesaria para que se verifique P PC

Es decir

Diremos que un teorema es Recproco de otro dado si tiene por hiptesis la tesis del primero y por tesis la hiptesis del primero. Es decir C = P y P = C Si la demostracin del teorema recproco es vlida diremos que el recproco es cierto y que P es condicin necesaria para que se cumpla C C es condicin suficiente para que se cumpla P. CP

Es decir

La certeza de un teorema no implica la de su recproco, excepto si caben diversas hiptesis que se excluyan mutuamente y se completen. Si fueran ciertos los dos, diremos que P es condicin necesaria y suficiente para C C es condicin necesaria y suficiente para P. CP

Es decir

Diremos que un teorema es contrario a uno dado si tiene por hiptesis (P) la negacin del otro y por tesis (C) la negacin del otro. Es decir P = P y C = C

Diremos que un teorema es contrarrecproco de uno dado si tiene por hiptesis (P) la negacin de la tesis del otro y por tesis (C) la negacin de la hiptesis del otro. Es decir P = C y C = P

Comparando entre s los teoremas recproco y contrario de uno dado, se observa que son mutuamente contrarrecprocos. Ejemplo. Directo. En un tringulo rectngulo se verifica que h2 = a2 + b2 . Recproco. Si h2 = a2 + b2 entonces el tringulo es rectngulo. Contrario (del directo). Si el tringulo no es rectngulo entonces h2 a2 + b2

17/19

Contrarrecproco. Si h2 a2 + b2 entonces el tringulo no es rectngulo.

7.2. Demostraciones Indirectas. Son llamadas tambin demostraciones por reduccin al absurdo. Se basan en la equivalencia de dos teoremas contrarrecprocos entre s. A veces conviene aprovechar esta equivalencia y en lugar de demostrar un teorema, demostrar su contrarrecproco.

7.3. Demostraciones por Recurrencia o Induccin completa. En las Ciencias Experimentales, de una serie ms o menos grande de observaciones se establece una ley general (se induce) que abarca a todas las observaciones anlogas. Tambin la Matemtica generaliza (induce), pero de modo distinto. No se contenta con comprobar una ley en determinados casos particulares. Por muchos que sean, hay que comprobarlos para todos. Para ello se aplica el siguiente principio lgico, llamado de induccin completa, o de recurrencia, que consiste en: 1) Comprobar que la ley es cierta para un primer valor de n. 2) Suponer que es cierta para un cierto valor n 3) Comprobar que es cierta para el siguiente, n+1

8. LGEBRA DE BOOLE DE LAS PROPOSICIONES. Definamos el conjunto C formado por todas las frmulas lgicas. Podemos definir en C las operaciones internas de negacin , Conjuncin y Disyuncin . Si construimos las correspondientes tablas de verdad, podemos demostrar sin problemas que se verifican las siguientes propiedades: Idempotencia de : p p p Complementaria de : p (p) ( es la proposicin falsa universal) Conmutativa de : p q q p Asociativa de : p (q r) (p q) r Elemento absorbente de : p Elemento neutro de : p p ( es la proposicin verdadera universal) Simplificativa de respecto de : p (p q) p Distributiva de respecto de : p (q r) (p q) (p r) Idempotencia de : p p p Complementaria de : p (p) Conmutativa de : p q q p

18/19

Asociativa de : p (q r) (p q) r Elemento absorbente de : p Elemento neutro de : p p ( es la proposicin verdadera universal) Simplificativa de respecto de : p (p q) p Distributiva de respecto de : p (q r) (p q) (p r) 1 Ley de Morgan: ( p q ) p q 2 Ley de Morgan: ( p q ) p q Doble negacin Involutiva: (p) p

El conjunto C con las tres operaciones internas definidas verificando las propiedades anteriores tiene estructura de lgebra de Boole.

BIBLIOGRAFA RECOMENDADA. Introduccin a la Lgica Matemtica. Aut.: P. Suppes y S. Hill. Edit.: Revert Elementos de Lgica Terica. Aut.: D. Hilbert y W. Ackermann. Edit.: Tecnos Introduccin a la Lgica Formal. Aut.: A. Deao. Edit.: Alianza Fundamentos de Lgica Matemtica. Aut.: j. Aranda y Varios. Edit. Sanz y Torres.

19/19