Professional Documents
Culture Documents
La Regla De Encadenamiento.
La Regla De Resolucin.
Elementos de la demostracin:
a) Figura, ilustra la proposicin que desea demostrar y est constituida por trazos
fundamentales y trazos auxiliares que se indican con lneas no continuas. La
claridad de la figura ayuda a la demostracin pero de ninguna manera
constituye la demostracin.
b) Hiptesis, es el supuesto que se acepta como cierto y que sirve de base para
el razonamiento.
El mtodo deductivo logra inferir algo observado a partir de una ley general. Esto lo
diferencia del llamado mtodo inductivo, que se basa en la formulacin de leyes partiendo
de los hechos que se observan.
Este mtodo se utiliza para demostrar la falsedad de proposiciones cuya hiptesis est
construida mediante un cuantificador universal. Esto es, se aplica para demostrar la
falsedad de una proposicin que tenga una conclusin referida para todos los elementos
de un cierto conjunto.
Para demostrar la falsedad de proposiciones de este tipo, basta exhibir un elemento que
satisfaga la hiptesis de la proposicin, pero que no satisfaga su conclusin. A dicho
elemento se le conoce con el nombre de contraejemplo.
El uso del contraejemplo, es muy til cuando uno se encuentra ante una proposicin con
cuantificador universal, de la cul no se sabe si es verdadera o falsa. La primera idea es
buscar un contraejemplo. Si no se encuentra en una primera instancia, se intentar
demostrar su veracidad aplicando los otros mtodos o una combinacin de ellos.
Aplicando el mtodo lgico inductivo para explicar que las aves nacen por huevo.
Conclusin: basados en las observaciones se concluye que las aves nacen por huevo.
Otro ejemplo del mtodo lgico inductivo es la comprobacin de que los cuerpos caen
siempre a la misma velocidad, independientemente de la masa.
3) Teorema: Definicin.
Un teorema es una afirmacin que puede ser demostrada como verdadera dentro de un
marco lgico a la ves logra ser afirmacin que puede ser demostrada verdadera dentro de
un marco lgico.
3.1.2) Recproca.
3.1.3) Contraria.