Tal que, explicacion de que es

Cuando escribimos el simbolo Tal que, esto significa que predecimos un comportamiento determinado en un postulado logico, usualmente se usa como Conector Logico, que permite decir que un postulado o hipotesis o elemento, va a cumplir con ciertas propiedades.

Ejemplos:

1. Tomemos un grupo de panes, tal que sean lo suficientemente suaves para que puedan remojarse en un chocolate

2.Sea el conjunto de zapatos, tales que podamos usar para caminar en el campo.

3. ∀ε>0 ∃ 𝞭>0 ∋ |f(x)-f(x₀)| < 𝞭

Para todo elemento Epsilon de cierto conjunto, existe un Delta de otro conjunto, TAL QUE la distancia entre sus imagenes, puede ser acotada por esa Delta.

Demostracion de Si y Solo Si, ejemplo

 Una demostracion de la forma:

Debemos demostrar que, k(z) es C-diferenciable si y solo si la conjugada de f(z) es diferenciable:

La Ida:

Como se vio, se cumple

El Regreso

Como se ve, el regreso noe s valido, asi que entonces la afirmacion es Falsa

San Agustin

Las Demostraciones son argumentaciones logicas, cuyo objetivo final es probar una Hipotesis que se ha planteado; existen desde la antigüedad, cuando los Filosofos y Matematicos griegos daban certidumbre a sus planteamientos, algunas de las mas bellas formas de Demostracion antigua se preservaron en forma de Demostraciones Geometricas, ya poseian esa elegancia, esa certidumbre, esa estructura logica.

Los Filosofos conservaron la argumentacion como una forma de probar sus principios, en la antigüedad, particularmetne en la Tradicion Epistemologica Platonica, es interesante ver el uso de la principal herramienta de la Razon por todo tipo de Filosofos.

Entre los mas peculiares esta uno de los padres de la Iglesia, San Agustin, un romano de finales del Imperio Occidental, que planteo los fundamentos de las creencias cristianas occidentales, y pese a que sus conclusiones son Teologicas, sus metodos son demostrativos, su argumentacion es elegante, quizas no tan elevada como la de Santo Tomas, pero sus Argumentos Deductivos son un ejemplo de Logica formal, que todo cientifico apreciaria en la actualidad,

Veamos un ejemplo, basado en De la vida beata (De la vida Feliz), en donde quiere demostrar que los Filosofos Acdemicos no son sabios, usa este argumento::

Si es evidente que no es dichoso el que no posee cuanto quiere. (Hipotesis)

Nadie busca lo que no quiere encontrar; pero ellos buscan constantemente la verdad

Vean el gambito logico que acaba de hacer, una argumentacion basandose en la definicion de Filosofo Academico de esa epoca.

Los Academicos quieren encontrar la Verdad

Pero no la encuentran ( y hasta la fecha no lo han logrado)

No poseen lo que apetecen

No son dichosos

Nadie es sabio si no es dichoso

El Academico no es sabio

QED.

Y asi tenemos un ejemplo que nos permite entender con palabras normales, el proceso de argumentar.

Autores: Mat Josefina Santiago Muñoz y Cap. Sergio Tellez USN (Ret)