IDEAS PARA RECORDAR

Símbolos de uso común.

MATH

Lógica

Observa los siguientes enunciados:

Está lloviendo.
Bogotá es la capital de Colombia.
El sol gira alrededor de la tierra.
La UIS es una de las mejores universidades del país.
Entramos al siglo XXI.
Hace calor.

Seguramente, a medida que los leías se producía en ti una sensación de aceptación o rechazo, ya que se puede afirmar que algunos de esos enunciados son verdaderos o falsos pero no las dos cosas a la vez.

Definición (Proposición simple )

Enunciado declarativo del cual se puede afirmar que es verdadero o que es falso pero no ambos a la vez.

Ahora pensemos que mediante los conectivos lógicos ligamos algunas proposiciones. Por ejemplo:

El libro es azul o es verde.

Está lloviendo y hace calor.

Si hace calor entonces el sol gira alrededor de la tierra.

si y sólo sí

Definición (Proposición compuesta )

Las proposiciones compuestas son aquellas que se forman por unión de proposiciones simples mediante los conectivos lógicos.

Enuncia dos ejemplos de proposiciones compuestas.

Sean las proposiciones simples:

``: El tiempo es agradable'',

``: Hace calor''.

Escribe las siguientes proposiciones compuestas:

$p\wedge q$ : el tiempo es agradable y hace calor.

$p\vee q$ :

$p\Rightarrow q$ :

VALOR DE VERDAD PARA LAS PROPOSICIONES COMPUESTAS

¿Cómo decidir el valor de verdad para las proposiciones compuestas? Pensando en ello, vamos a plantear algunos criterios los cuales posiblemente no se ajusten a todas las situaciones cotidianas.

Conjunción $(p\wedge q)$ : La conjunción es verdadera solamente si ambas proposiciones son verdaderas .

MATH

Disyunción $(p\vee q):$ La disyunción es verdadera cuando ambas proposiciones o una de ellas es verdadera.

MATH

Implicación. De una verdad no se deben concluir cosas falsas, la Implicación entre dos proposiciones es falsa, únicamente cuando una proposición verdadera implica una falsa.

MATH

Doble implicación o equivalencia : La equivalencia entre dos proposiciones es verdadera cuando ambas son verdaderas o ambas son falsas.

MATH

Definiciones: Recíproca y contrarecíproca.

Se dice que:

La Recíproca de la implicación de es
La contrarecíproca de la implicación es siendo desde luego la negación de la proposición

Por ejemplo, al observar una figura geométrica se pueden presentar las siguientes proposiciones simples las cuales pueden ser verdaderas o falsas:

$\bigskip$

: es un cuadrado.

: es un polígono de lados iguales.

De aquí se puede escribir una implicación como:

$r\Rightarrow s$ : ``si es un cuadrado entonces es un polígono de lados iguales''.

La recíproca de $r\Rightarrow s$ es $s\Rightarrow r.$

$s\Rightarrow r$ : ``si es un polígono de lados iguales entonces es un cuadrado''.

La contrarecíproca de $r\Rightarrow s$ es

: ``si no es un polígono de lados iguales entonces no es un cuadrado''.

Elaboremos una tabla de verdad para comparar y su contrarecíproca:

MATH

¿Observas alguna relación entre $p\Rightarrow q$ con respecto a ?

De la tabla anterior se concluye que es equivalente en todos los casos con

Elabora una tabla en la que compares con su recíproca.

¿Qué discrepancia existe en este caso?

MÉTODOS DE INVESTIGACIÓN CIENTÍFICA.

El investigador en ciencias se basa en métodos técnicos y lógicos para verificar sus conclusiones y concluir algunos (o muchos) resultados o leyes que rigen a determinada ciencia.

Métodos técnicos: entendemos por estos, los utilizados al observar y experimentar, los podemos llamar también métodos empíricos.
Métodos Lógicos: Son aquellos que nos permiten hacer deducciones estableciendo raciocinios lógicos, admisibles y demostrables.

Dentro de los métodos lógicos se encuentran el razonamiento inductivo y deductivo.

Ante la construcción de nuevas teorías (o replanteamiento de las mismas), especialmente en matemáticas suele ocurrir lo siguiente:

Se establecen algunas definiciones. Por ejemplo, ¿Qué es un triángulo?, se puede afirmar que un triangulo es ``el poligono de tres lados incluidos todos los puntos que se encuentran dentro de él'' o que el triángulo es ``el poligono de tres lados sin incluir los puntos que encierran sus lados''. Nos ponemos de acuerdo en su significado.
Se establecen los axiomas (postulados). Los axiomas o también llamados postulados son proposiciones que asumimos como verdades aceptandolos sin demostración alguna.
Se deducen proposiciones (Teoremas) a partir de las definiciones, los axiomas y los postulados. A las proposiciones nuevas que se puedan verificar mediante el empleo de la lógica, se suelen llamar teoremas y decimos que son demostrables. Cuando se habla de demostraciones, suelen aparecer adicionalmente los lemas (proposiciones que se deducen a partir de un teorema), los corolarios (proposiciones que se deducen a partir de un lema) y las conjeturas (proposiciones que aparentemente son verdaderas pero no se han podido demostrar).

MÉTODOS PARA DEMOSTRAR O REFUTAR.

DEMOSTRACIÓN DIRECTA.

Este tipo de demostración suele estár asociado con la implicación $p\Rightarrow q$ para el caso decimos que es la hipótesis y si partiendo de ella logramos mediante razonamientos lógicos deducir la tesis decimos que hemos realizado la demostración.

Ejemplo

``La suma de dos números pares es un número par''.

Demostración. Sean números pares, entonces existe números enteros tales que

$x=2a\wedge y=2b$ ,		luego

		propiedad recolectiva (factorización).

Como $\left( a+b\right)$ es un número entero entonces se tiene que $\left( x+y\right)$ es número par (al dividir en 2 da como resultado un número entero, para el caso sería ).

Ejemplo

Cualesquier real multiplicado por cero es igual a cero.

Demostración. Sea un número real.

$a\cdot0$	$a\cdot0$	reflexividad
	$a\cdot0$	modulativa y 0+0=0
$a\cdot0+a\cdot0$	$a\cdot0$	distributiva de la adición
		sumar en ambos lados
		asociativa en +
$a\cdot0+0$		adición con el inverso
$a\cdot0$		Modulativa en +

DEMOSTRACIÓN INDIRECTA (MÉTODO DE REDUCCIÓN AL ABSURDO).

Demostrar que es válida, es equivalente a demostrar que $\sim p$ no es válida (si se cumple , lo contrario no se debe cumplir).

El método de reducción al absurdo consiste en suponer que la contraria se cumple y mediante
procedimientos lógicos llegar a una contradicción con ideas fundamentales, es decir $\sim p$ es algo falso, luego debe ser verdad.

Ejemplo

Demostremos por reducción al absurdo que ``no existe un número primo que sea el mayor de todos''.

Demostración:

Negando la tesis diríamos que ``existe un número primo que es el mayor de todos los números primos''. Esto equivale a decir que:

``Existe un numero primo que es el mayor de todos los números primos''

Si hacemos el producto

		La multiplicación de varios factores es mayor que uno de ellos (en $\QTR{Bbb}{Z}^{+}$ ).
		Si se adiciona una unidad en el lado izquierdo, la desigualdad permanece.
		No es divisible por ninguno de los primos menores o iguales a (sobraría 1),
		y de aquí se deducen dos situaciones:
Si		es primo, contradicción con la negación de la tesis,
$\vee$
		es divisible por algún número primo más grande que (Contradicción).

DEMOSTRACIÓN POR CONTRARECÍPROCA.

En lugar de demostrar la implicación $p\Rightarrow q$ , simplemente, demostramos una proposición lógicamente equivalente que es

Recuerda que

Ejemplo

``En el conjunto de los naturales, si el cuadrado de un número natural es impar entonces el número es impar''.

Demostración. La contrarecíproca de esta esta proposición es:

Si un número es par entonces su cuadrado es par.

(Recuerda que en el conjunto de los naturales, la negación de ser par es equivalente a ser impar).

Sea un número natural par entonces existe un que pertenece a los naturales tal que:
MATH

Luego es un número par.

Este método es muy parecido a la demostración directa, solo hay que tener en cuenta la equivalencia siguiente

REFUTACIÓN POR CONTRAEJEMPLO.

Si usted encuentra una situación para la cual la proposición no se cumple, se dice que esa proposición es falsa y puede ser refutada con un contraejemplo.

Ejemplo

Si es un entero positivo, $2^{2n}-1$ es un número primo.
Aunque la situación cumple en algunos casos, si hacemos tenemos que la proposición no cumple porque y este no es un número primo.

Ejemplo

Sean números reales, $\neq$
Esta proposición es falsa porque si y la igualdad se cumple. El enunciado propone diferencia sin discriminación alguna en $\QTR{Bbb}{R}$ .

EL MÉTODO DE INDUCCIÓN MATEMÁTICA.

Supongamos que me da por pensar en el conjunto de los números pares (números de la forma con ). Además, realizo la siguiente observación:

MATH

Como realicé varios ensayos empezando desde el primer numero par, y los siguientes pares que tomaba siempre eran menores que 100, puedo concluir que cualquier número par es menor que 100.

¿Cuál es el error en mi apreciación?

¿Basta con que varios ejemplos verifiquen una proposición para afirmar que se trata de una verdad?, explique.

El que una proposición cumpla en varias y repetidas ocasiones no indica que se vaya a cumplir siempre. Cuando la proposición está ligada al conjunto de los enteros positivos surge el principio de inducción que se expondrá a continuación.

PRINCIPIO DE INDUCCIÓN MATEMÁTICA.

Sea $S_{n}$ una afirmación para todo entero positivo , observemos las dos condiciones siguientes:

(1): $S_{1}$ es cierta.
(2): Sea si $S_{k}$ es cierta entonces $S_{k+1}$ es cierta.

De (1) y (2) se puede concluir (se implica) que $S_{n}$ es cierta (verdadera) para cualesquier entero positivo .

Nota: demostrar (1) y (2) es equivalente a demostrar que $S_{n}$ cumple para cualquier entero positivo .

Observece además que (2) es una expresión de la forma $p\Rightarrow q$ . En (2) no demostramos $S_{k}$ , lo que hacemos es partiendo de que se supone $S_{k}$ cierta, llegar a que $S_{k+1}$ es cierta.

Recomendaciones para demostrar por Inducción:

Primero. Verifique que $S_{1}$ sea verdadera (que cumple para la primera situación).

Segundo. Establesca la hipótesis $S_{k}$ . (Suponemos que cumple para algún

Tercero. Establezca la tesis $S_{k+1}$ (¿A qué debo llegar?).

Cuarto. Pruebe que ``si $S_{k}$ cumple para algún entonces, $S_{k+1}$ también cumple''.

En algunos libros, solo se habla de dos pasos, en realidad la segunda y tercera actividad la escribimos por denotar la hipótesis y la tesis de la otra demostración solapada de la forma

Ejemplo

Demostrar por Inducción matemática que

Verifiquemos que cumpla para , (sólo se sumaría un término).
$S_{1}$ : cumple.
Suponiendose que cumpla para mostrar que cumple para el siguiente, es decir:
Llegar a que se cumpla. Notemos que el siguiente número impar después de es
Luego
La prueba que vamos a realizar consiste en partir de la suposición dada en el paso 2 (hipótesis de que $S_{k}$ cumple para algún , llegar a la que cumpla para el siguiente (tesis expresada en el paso 3).
Prueba:

Ejemplo

Demostrar que $2n<2^{n}$ siendo

Si tendríamos $2\cdot 3<2^{3},.$ Luego cumple. No verificamos para $n=1,\,2,$ por que se excluyen mediante la afirmación
Suponemos que cumpla para algún
Debemos llegar a que para también cumpla
Prueba (

Ejemplo

Si es entero impar mayor o igual a tres se cumple que:

Demostración: Como es impar mayor que tres, digamos que Recuerda, los impares mayores o iguales que tres son , con Luego, realizando el cambio de variable, tenemos que demostrar que:

Por inducción matemática, para tendríamos,

Si se desarrolla el producto indicado en la parte izquierda, se muestra que dicha igualdad cumple.

Nos falta mostrar que si cumple para algún , entonces cumple para .
Supongamos que cumple para algún
Debemos mostrar que cumple para

Prueba

Partimos de la hipótesis de que cumple para algún y restando $y^{2k+1}$ en ambos lados tendríamos:

$x^{2k+1}$
$x^{2k+3}$
$x^{2k+3}$
$x^{2k+3}$
$x^{2k+3}$
$x^{2k+3}+y^{2k+3}$

Pero, como

podemos afirmar que

$x^{2k+3}+y^{2k+3}$

$x^{2k+3}+y^{2k+3}$
$x^{2k+3}+y^{2k+3}$

Quedando de este modo demostrado.

Ejemplo

$2^{2n}+5$ es divisible entre . (Se supone ).

Para tedríamos
Suponemos que se cumple para
Debemos mostrar que cumpla para
Prueba .

Aquí ya se tiene que es divisible en .

Demostrar utilizando inducción matemática

$n+n^{2}$ es par.
$n^{3}-n$ es divisible entre
con $i^{2}=-1.$
con $x\neq 2k\pi .$
$2^{n}<n!$ para donde
$2n\cdot n!<n^{n}$ , si
* $n^{3}-n$ es divisible entre
* $x^{n}-1$ es divisible entre
* $x^{n}-y^{n}$ es divisible entre
$2^{n}\geq 2n.$
siendo un entero positivo impar.
es divisible en 24 si es impar.
Demuestre que si los siguientes cocientes corresponden a números enteros.
1. (b)
$2^{4n-1}$ es divisible por 15.
Sean un conjunto cualquiera de números.

Si y prúebe que
Si se tiene un número real $p\geq 1$ y , $n\geq 4$ . Pruébese que
para todo entero positivo
Fórmulas.
1. Realizar los siguientes cálculos
2. Escribe una fórmula para calcular la siguiente suma
3. Demostrar la fórmula del punto (b).
Escríbe una fórmula para la siguiente suma