Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
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
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
Probar su verdad.
Es un razonamiento.
Es para que nos demos cuenta... que es algo que existe por lgica.
Es un procedimiento.
11 comentarios: