Vous êtes sur la page 1sur 6

LEYES DE LA LGICA PROPOSICIONAL Y DEMOSTRACIONES

MATEMATICAS (GRUPO No. 3)


LEYES DE LA LGICA PROPOSICIONAL
Leyes de La Lgica:
Una proposicin lgica, compuesta por varias proposiciones representadas
con letras y unidas entre s con smbolos lgicos, que tenga la propiedad de que
cuando se reemplazan las letras por proposiciones reales siempre resulta
verdadera aunque algunas o todas esas proposiciones sean falsas, es lo que se l
lama una LEY LGICA.
Son expresiones formales o frmulas Proposicionales cuya funcin
veritativa es una tautologa que se utiliza para organizar un clculo axiomtico.
Principios Lgicos Bsicos:
En el clculo de inferencia es necesario tener en cuenta los siguientes
principios lgicos.
1- Identidad: esta ley permite hacer equivalencia entre dos
proposiciones de un mismo argumento.
2- No contradiccin: una proposicin no puede ser simultneamente
verdadera y falsa: p p.
3- Tercer excluido: una proposicin es verdadera o es falsa.
p V p.
4- Doble negacin: una proposicin afirmativa equivale a la misma
proposicin negada dos veces.
LEYES DE INFERENCIA: Las leyes de inferencia que corresponden a formas
de razonamiento elementales cuya validez es fcil de demostrar.
1. MODUS PONENDO PONENS (MPP)
p q, p q
El condicional o implicacin es aquella operacin que establece entre dos enunciados una relacin de causa-efecto. La
regla ponendo ponens significa, afirmando afirmo y en un condicional establece, que si el antecedente (primer trmino, en este
caso p) se afirma, necesariamente se afirma el consecuente (segundo trmino, en este caso q).

p entonces q Si llueve, entonces las calles se mojan (premisa)


p Llueve (premisa)
q Luego, las calles se mojan (conclusin)
2. MODUS TOLLENDO TOLLENS (MTT)
p q, q p

Tollendo Tollens significa negando, niego, y se refiere a una propiedad


inversa de los condicionales, a los que nos referamos en primer lugar.
p entonces q Si llueve, entonces las calles se mojan
q Las calles no se mojan
p Luego, no llueve
Si de un condicional, aparece como premisa el consecuente negado (el
efecto), eso nos conduce a negar el antecedente (la causa), puesto que si un
efecto no se da, su causa no ha podido darse.

Esto nos permite formular una regla combinada de las ambas anteriores,
consecuencia ambas de una misma propiedad de la implicacin; la regla ponendo
ponens slo nos permite afirmar si est afirmado el antecedente (el primer trmino
de la implicacin), y la reglatollendo tollens slo nos permite negar a partir del
consecuente (segundo trmino de la implicacin); ambas consecuencias se
derivan de que la implicacin es una flecha que apunta en un nico sentido, lo que
hace que slo se pueda afirmar a partir del antecedente y negar slo a partir del
consecuente.
3- DOBLE NEGACIN (DN)
p p
CT
TC

p s slo s p
El esquema representa, p doblemente negada equivale a p. Siguiendo el
esquema de una inferencia por pasos, la representaramos as:
p No ocurre que Ana no es una estudiante
p Ana es una estudiante
La regla doble negacin, simplemente establece que si un enunciado est
doblemente negado, equivaldra al enunciado afirmado.
4.- CONJUNCIN
p, q p q

Conjuncin (C): Si disponemos de dos enunciados afirmados como dos


premisas separadas, mediante la adjuncin, podemos unirlos en una sola premisa
utilizando el operador (conjuncin).
p Juan es cocinero
q Pedro es polica
p q Juan es cocinero y Pedro es polica
5. - SIMPLIFICACIN (S):
Obviamente, es la operacin inversa. Si disponemos de un enunciado
formado por dos miembros unidos por una conjuncin, podemos hacer de los dos
miembros dos enunciados afirmados por separado.
p q Tengo una manzana y tengo una pera
p Tengo una manzana
q Tengo una pera
6.- MODUS TOLLENDO PONENS (TP)
La disyuncin, que se simboliza con el operador V, representa una eleccin
entre dos enunciados. Ahora bien, en esa eleccin, forma parte de las
posibilidades escoger ambos enunciados, es decir, la verdad de ambos
enunciados no es incompatible, si bien, ambos no pueden ser falsos.
A partir de lo anterior, se deduce la siguiente regla, denominadatollendo
ponens (negando afirmo): si uno de los miembros de una disyuncin es negado, el
otro miembro queda automticamente afirmado, ya que uno de los trminos de la
eleccin ha sido descartado.
p V q He ido al cine o me he ido de compras

q No he ido de compras
p Por tanto, he ido al cine
7.- LEY DE LA ADICIN (LA)
Dado un enunciado cualquiera, es posible expresarlo como una eleccin
(disyuncin) acompaado por cualquier otro enunciado.
p He comprado manzanas
p V q He comprado manzanas o he comprado peras
8.- SILOGISMO HIPOTTICO (SH)
Dados dos implicaciones, de las cuales, el antecedente de la una sea el
consecuente de la otra (el mismo enunciado), podemos construir una nueva
implicacin cuyo antecedente sea el de aquella implicacin cuya consecuencia
sea el antecedente de la otra implicacin, y cuyo consecuente sea el de sta
ltima, cuyo antecedente era consecuencia del primero.
Expresado de otro modo, si una causa se sigue una consecuencia, y sta
consecuencia es a su vez causa de una segunda consecuencia, se puede decir
que esa primera causa es causa de esa segunda consecuencia, expresado en
forma de inferencia lgica:
p entonces q Todos los gatos son vertebrados.
q entonces r Todos los vertebrados son animales.
p entonces r todos los gatos son animales.
9- SILOGISMO DISYUNTIVO (DS)
Dadas tres premisas, dos de ellas implicaciones, y la tercera una disyuncin
cuyos miembros sean los antecedentes de los condicionales, podemos concluir en
una nueva premisa en forma de disyuncin, cuyos miembros seran los
consecuentes de las dos implicaciones. Lgicamente, si planteamos una eleccin
entre dos causas, podemos plantear una eleccin igualmente entre sus dos
posibles efectos, que es el sentido de esta regla.
p entonces q Si llueve, entonces las calles se mojan
r entonces s Si la tierra tiembla, los edificios se caen
p V r Llueve o la tierra tiembla
q V s Las calles se mojan o los edificios se caen
10.- SIMPLIFICACIN DISYUNTIVA (SD)
Si disponemos de dos premisas que corresponden a dos implicaciones con
el mismo consecuente, y sus antecedentes se corresponden con los dos
miembros de una disyuncin, podemos concluir con el consecuente de ambas
implicaciones.
p V q Helado de fresa o helado de vainilla
p entonces r Si tomas helado de fresa entonces repites
q entonces r Si tomas helado de vainilla entonces repites
r Luego, repites
11- LEY CONMUTATIVA
Esta ley, no es vlida para la implicacin, pero s para conjuncin y para la
disyuncin. Una conjuncin es afirmar que se dan dos cosas a la vez, de modo
que el orden de sus elementos no cambia este hecho. Igualmente, una disyuncin

es presentar una eleccin entre dos cosas, sin importar en qu orden se presente
esta eleccin. As pues,
p q s y slo s q p p y q equivale a q y p
p V q s y slo s q V p p q equivale a q p
12- LEYES DE MORGAN (DM)
Esta ley permite transformar una disyuncin en una conjuncin, y viceversa,
es decir, una conjuncin en una disyuncin. Cuando se pasa de una a otra, se
cambian los valores de afirmacin y negacin de los trminos de la
disyuncin/conjuncin as como de la propia operacin en conjunto, como
podemos observar aqu:
p q p V q
(p V q) (p q
Aplicacin de leyes lgicas para demostrar y argumentar.
Cuando se tienen varias premisas -o proposiciones que se sabe son
verdaderas- y se quiere sacar las conclusiones derivadas de ellas, se pueden
aplicar una o varias leyes lgicas, en forma repetida si fuere necesario, para
construir nuevas proposiciones simples o compuestas que sean verdaderas y que
conduzcan a conclusiones tiles en forma totalmente lgica.
Por ejemplo:
Se sabe que las siguientes proposiciones son verdaderas: (premisas)
1. La tarde del domingo golpearon a Juan
2. Si alguien estaba en B no pudo ver la pelea
3. Juan estuvo toda la tarde del domingo en A con Carlos y Pedro
4. ngel estuvo con Lus en B toda la tarde del domingo
5. Mara estuvo con Rosa en B todo el da.
6. Pedro dijo que ngel golpe a Juan.
7. Rosa dijo que vio a Carlos golpear ese domingo a Juan en A.
De ellas, aplicando leyes lgicas ya conocidas se pueden obtener como
verdaderas:
El domingo de los hechos:
De 3 salen tres proposiciones:
Estuvo en A toda la tarde 8)
Carlos estuvo en A toda la tarde (9)
Pedro estuvo en A toda la tarde (10)
De 4 salen dos proposiciones:
ngel estuvo en B toda la tarde (11)
Lus estuvo en B toda la tarde (12)
De 5 salen dos proposiciones:
Estuvo en B todo el da (13)
Rosa estuvo en B todo el da (14)
1 y 8 llevan a: Juan fue golpeado en A (15)
2 y 14 llevan a: Rosa no pudo ver la pelea (16)
16 y 7 llevan a: Rosa miente (17)
11 y 6 llevan a: Pedro miente (18)

De esta forma podemos concluir que: Juan fue golpeado en A y que Rosa y
Pedro mienten.
Pero no se puede concluir nada acerca de quin golpe a Juan.
DEMOSTRACIN MATEMTICA
Son pasos sucesivos que permiten la coherencia de algn problema
relacionado ha algo especfico, se toma un conjunto de premisas como algo
verdadero, de las mismas se obtienen una demostracin que en s, nos permiten
fortalecer la tesis, x hiptesis o Conclusiones. Debemos acotar que para llegar a la
conclusin se siguen una serie de reglas o pasos con secuencia lgica.
Por otra parte tambin se puede deducir que;
Una demostracin es sencillamente, comprobar que alguna afirmacin es
verdadera en todos los casos posibles que estipula, siguiendo pasos lgicos que
llevan de la proposicin p a la proposicin q. Para esto hay muchas formas de
hacerlo: demostracin directa, demostracin por contradiccin, demostracin por
definicin, contraejemplo, enumeracin (para casos enumerables), induccin
matemtica,... Cada mtodo es un mtodo lgico con nombre en latn, pero para
nuestro inters bastar con esto.
A continuacin detallaremos un ejemplo:
Esto se puede comprobar con el teorema de Pitgoras, que recibe su
nombre del matemtico y filsofo griego del siglo v a.c. Pitgoras, y que establece
que en un tringulo rectngulo el cuadrado de la hipotenusa es igual a la suma de
los cuadrados de los catetos.
A2+ B2 = C2
ELEMENTOS DE LA DEMOSTRACIN MATEMTICA

Basarse en conocimientos previos.

Probar su verdad.

Empezar desde la hiptesis y llegar a la tesis.

Encadenar una serie de razonamientos deductivos.

Aplicar propiedades, principios o leyes.

Es un razonamiento.

Se debe verificar que una proposicin matemtica es verdadera o es falsa.

Es una cuestin lgica.

Es para que nos demos cuenta... que es algo que existe por lgica.

Es un procedimiento.

Es encontrar la validez de un razonamiento lgico.

DEMOSTRACIN POR EL CONTRA-EJEMPLO


Cuando hemos probado la validez de la implicacin p= q, frecuentemente se
trata de investigar la validez de la reciproca q = p. Empezamos analizando
casos particulares que satisfagan la hiptesis q y confrontamos la validez o no de
la conclusin p. Si damos un ejemplo donde la conclusin resulta falsa, tenemos
que q p es verdadera. Puesto que (q = p) q p se sigue por las
reglas de inferencia que (q = p) es verdadera y por lo tanto q = p es falsa.
El determinar la falsedad de q = p mediante un caso particular se
denomina un contraejemplo.
Ejemplo. Si n es un entero primo entonces n es impar. Es una implicacin
falsa por que n = 2 es primo y sin embargo es par. En este caso, n = 2 es un
contraejemplo.
DEMOSTRACIN POR CONTRADICCIN:
Este tipo de demostracin tiene su sustentacin en las siguientes
equivalencias lgicas:
1. (H = T) H T
2. H T = R R H T
El mtodo consiste en suponer que el contenido del teorema es falso. Segn 1,
esto significa que siendo la hiptesis H verdadera la conclusin T puede ser falsa.
En todo razonamiento las premisas se toman como verdaderas. Por eso se
escribe el supuesto H T.
Este supuesto tiene como consecuencia lgica la contradiccin R R y
segn 2 esto implicara que H= T es verdadera, lo cual finaliza la demostracin.
FUNCIONES DE LA DEMOSTRACION MATEMATICA
Verificacin (concerniente a la verdad de una afirmacin).
Explicacin (profundizando en por qu es verdad).
Sistematizacin (organizacin de resultados dentro de un sistema axiomtico).
Descubrimiento (descubrimiento/invencin de nuevos resultados).
Comunicacin (transmisin del conocimiento matemtico).
Publicado por Arelis Michinel en 14:17

11 comentarios: