Propuesta sobre la enseñanza de la demostración de implicaciones

  

Geovany Sanabria B.
   
 Inicio  1  2  3  4  5  6  7 

 

 

Segundo método: Contradicción

Este método sigue el siguiente modelo:

 

   

Ejemplo 2   Sea $ A$ un conjunto de números reales que cumple las siguientes proposiciones (axiomas):


$\displaystyle Axioma$ $\displaystyle 1)\quad 5$ $\displaystyle \in$ $\displaystyle A$  
$\displaystyle Axioma$ $\displaystyle 2)\quad x$ $\displaystyle \in$ $\displaystyle A\wedge y\in A\Longrightarrow \left( x+y\right) \in A$  

Pruebe las siguientes proposiciones.$ \newline $

 

Teorema $ 1.$Se tiene que $ 13\notin A\Longrightarrow 4\notin A.\medskip\newline $

Teorema $ 2.$ Si $ \left( 3x-6\right) \notin A$ entonces $ \left( x\notin A\vee -11\notin A\right) \medskip $

Prueba.
Utilizaremos el método de la contradicción para demostrarlos.

 

    
 


    

 

 Inicio  1  2  3  4  5  6  7 

 

Cidse - Revista virtual Matemática, Educación e Internet - ITCR
Derechos Reservados