1) Nombrar las Reglas de la inferencia (la idea de demostracin).

La Regla De Eliminacin De Conjuncin.

La Regla De Encadenamiento.

La Regla De Resolucin.

La Regla De Modus Ponens, dice que si una premisa tiene la forma de

condicional y la otra afirma el antecedente entonces es vlida la inferencia
que consiste en afirmar el consecuente.

La Regla De Modus Tollens, dice que si se niega el consecuente de un

condicional entonces se puede negar su antecedente.

La Reglas De Introduccin De Conjuncin Y Disyuncin, permiten concluir la

conjuncin y la disyuncin de dos premisas

2) Demostracin: definicin, elementos (hiptesis, tesis).

En lgica se define una prueba, o demostracin, como una sucesin de aplicaciones

de reglas de inferencia que permite llegar a una conclusin a partir de unas premisas.
Como la implicacin de una sentencia a otra es una relacin transitiva, las sentencias
que se van obteniendo sucesivamente estn todas implicadas por las premisas.

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.

c) Tesis, es lo que se desea demostrar.

d) Razonamiento, es el conjunto de afirmaciones y razones que en orden lgico

relacionan la hiptesis con la tesis y permite la deduccin de sta a partir de la
hiptesis.

e) Conclusin, es la tesis o proposicin deducida mediante el razonamiento.

 2.1) Demostracin por contradiccin (reduccin al absurdo).

La Reduccin al Absurdo es uno de los mtodos ms usados para hacer demostraciones

matemticas. La idea es suponer que la proposicin que queremos demostrar es falsa, y
a partir de esta suposicin, usando deducciones matemticas, llegar a una contradiccin o
algo absurdo, lo cual implica que nuestra proposicin es necesariamente cierta.

Supongamos que queremos demostrar que una proposicin P es verdadera. Una

demostracin por contradiccin comienza suponiendo que P es falsa, esto es, que P es
verdadera y finaliza deduciendo que para una cierta proposicin C, se tiene que C C
es verdadera. Esto es una contradiccin, pues una proposicin y su negacin no pueden
tener el mismo valor de verdad.

2.2) Mtodo Deductivo: Directo, Indirecto.

El mtodo deductivo es un mtodo cientfico que considera que la conclusin se halla

implcita dentro las premisas. Esto quiere decir que las conclusiones son una
consecuencia necesaria de las premisas: cuando las premisas resultan verdaderas y el
razonamiento deductivo tiene validez, no hay forma de que la conclusin no sea
verdadera.

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.

El mtodo deductivo puede dividirse segn resulte en:

Directo y de conclusin inmediata (en los casos en los que el juicio se

produce a partir de una nica premisa sin otras que intervengan).

Indirecto y de conclusin mediata (la premisa mayor alberga la

proposicin universal, mientras que la menor incluye la proposicin
particular: la conclusin, por lo tanto, es el resultante de la comparacin
entre ambas).

2.2.1) Demostracin por Contraejemplos.

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.

2.3) Mtodo Inductivo: Definicin, Ejemplos.

El mtodo inductivo es aquel mtodo cientfico que obtiene conclusiones generales a

partir de premisas particulares. Se trata del mtodo cientfico ms usual, en el que pueden
distinguirse cuatro pasos esenciales: la observacin de los hechos para su registro; la
clasificacin y el estudio de estos hechos; la derivacin inductiva que parte de los hechos
y permite llegar a una generalizacin; y la contrastacin.

El mtodo inductivo consiste de los siguientes pasos:

1. Observacin: Se observa un fenmeno natural y se busca una explicacin al

respecto de l.
2. Hiptesis: Se postula una explicacin, la cual el observador piensa que puede ser
la respuesta al hecho de que se d el fenmeno.
3. Experimentacin: Se realiza una comprobacin de la hiptesis con varios casos
diferentes que lleven al mismo resultado.
4. Conclusin: Si la hiptesis funciona para varios casos, entonces funciona para
todos.

Ejemplo de mtodo lgico inductivo:

Aplicando el mtodo lgico inductivo para explicar que las aves nacen por huevo.

Observacin: Se observa que los canarios nacen por huevo.

Hiptesis: Las aves nacen por huevo

Experimento: El experimento en este caso consiste en la observacin del nacimiento

de varias especies de aves. Se observa que las guilas son aves y que nacen por
huevo; se observa que las avestruces son aves y nacen por huevo; se observa que los
colibres son aves y 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.

Observacin: Se observa que si dos objetos de diferente peso se sueltan a la misma

altura, estos llegan al suelo al mismo tiempo.

Hiptesis: El tiempo de cada de un objeto es independiente de su peso.

Experimento: Se sueltan varios objetos de diferente peso a una misma altura

varindola desde un metro hasta 10 metros y se observa que siempre llegan al suelo
al mismo tiempo, si se elimina la friccin del aire.

Conclusin: todos los objetos, independientemente de su peso, si se sueltan de una

misma altura llegan al piso al mismo tiempo.

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.

Un teorema generalmente posee un nmero de condiciones que pueden ser

enumeradas en los teoremas o aclaradas de antemano. Luego existe una conclusin, una
afirmacin matemtica, la cual es verdadera bajo las condiciones en las que se trabaja. El
contenido informativo del teorema es la relacin que existe entre la hiptesis y la tesis o
conclusin

3.1) Formas derivadas de un teorema: Ejemplos.

Corolario: es una proposicin que se deduce de lo demostrado con anterioridad,

por lo que no requiere de una prueba particular. Se entiende que un corolario es
una conclusin obvia o inevitable que se desprende de ciertos antecedentes.

Lema: es una proposicin demostrada, utilizada para establecer un teorema

menor o una premisa auxiliar que forma parte de un teorema ms general.

Proposicin: es una oracin con valor referencial o informativo, de la cual se

puede predicar su veracidad o falsedad, es decir, que puede ser falsa o
verdadera pero no ambas a la vez.

Postulado: es una proposicin no evidente por s misma, ni demostrada, pero

que se acepta, ya que no existe otro principio al que pueda ser referida.
3.1.1) Directa.

3.1.2) Recproca.

3.1.3) Contraria.

3.1.4) Contra recproca.

4) Leyes de la Lgica: Definicin, Comprobacin y tipos de leyes.

4.1) Silogismo Hipottico.

4.2) Silogismo Disyuntivo.