PENSAMIENTO LOGICO MATEMATICO

TRABAJO COLABORATIVO TRES

ROSALY RUIZ

CODIGO: 49779405

CEAD CURUMAN CESAR

200611_601
TUTOR

WILLIAM PRECIADO

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNADESCUELA DE CIENCIAS SOCIALES, ARTES Y HUMANIDADES

PROGRAMA DE PSICOLOGA
2015

INTRODUCCIN

En trminos matemticos, diremos que una demostracin es una serie de pasos lgicos,
donde cada paso se sigue de manera lgica de los anteriores, encontrndose que el ltimo
escaln es justamente la afirmacin que se quiere probar. El siguiente esquema nos aclara
de forma intuitiva el procedimiento de trabajo en los diferentes campos de las Matemticas.
Ningn resultado en matemticas se puede considerar valido, hasta tanto no sea demostrado
de manera formal. La solucin de un problema debe pasar a travs del tamiz indefectible de
la lgica, si se quiere elevar a la categora de un hecho verdadero. Una pequea falla o
argumento errneo en el proceso de demostracin anula toda posibilidad de xito en el
paso de las hiptesis hacia la tesis. Los matemticos son muy metdicos, analticos e
inflexibles en cuanto a la verificacin de los resultados. La formalidad es un ingrediente
fundamental en el trabajo. Todo debe estar suficientemente justificado. Esto quizs sea
motivo de incomprensin y rechazo hacia la matemtica por parte de las personas ajenas a
esta ciencia

Primer Aporte Individual:

Socializar en el Foro de Interaccin y Produccin la conceptualizacin y algunos ejemplos

de alguna de los Teoremas y Tcnicas de Demostracin (slo selecciona una e informa en
el foro cual escogi, para que no sea escogido por otro integrante), las operaciones son:
La demostracin
La demostracin es un razonamiento que prueba la validez de un nuevo conocimiento; es el
enlace entre los conocimientos recin adquiridos y los conocimientos anteriores. Los
procedimientos de demostracin permiten establecer la conexin lgica entre las
proposiciones fundamentales de la teora, sus consecuencias sucesivas, hasta deducir la
conclusin o tesis que as se demuestra.
Los principales tipos de demostracin son:
La demostracin directa
La demostracin directa de una proposicin t (teorema) es un conjunto de proposiciones o
premisas que son postulados o proposiciones de validez aceptada y de las cuales se infiere t
como consecuencia inmediata.
Ejemplo 1.
Dadas las premisas: 1. p ~q
2. r q
Concluir: t. p ~r
Demostracin: Puesto que r q es equivalente a ~q ~r, por MTT se tiene la premisa:
3. ~q ~r, ahora, de las premisas 1 y 3 se puede concluir t, es decir, como
p ~q y ~q ~r, entonces, p ~r. Por SH
La demostracin indirecta
Se realiza una demostracin indirecta cuando se establece la validez de una tesis t probando
que las consecuencias de su contraria son falsas.
Ejemplo 1.
Construir la demostracin indirecta de:
Si x2 es par, entonces x es par, (con x entero)
Suponga que existe al menos un entero x tal que x2 es par y x es impar.
Por el ejemplo 2 analizado en la demostracin directa, se sabe que si x es impar,
entonces x2 es impar, luego es imposible que sea impar y que x2 sea par.
Esta es la contradiccin buscada.
La demostracin por recursin

Cuando la tesis se prueba por medio de induccin matemtica.

Ejemplo 2.
Este tipo de demostraciones se utilizan cuando los enunciados tienen una proposicin
abierta en una variable n, y es necesario demostrar que tal proposicin se verifica para
todos los elementos n que pertenecen a un subconjunto infinito dado sobre los nmeros
enteros el axioma de la induccin matemtica es el siguiente:
Dado un conjunto de nmeros enteros A = {n / n
a} y una proposicin de la
forma P(n), se puede demostrar la verdad de esta proposicin estableciendo los siguientes
pasos:
I. P(a) es verdadera cuando se sustituye n por a en P(n)
II. Se supone que la proposicin P(n) es verdad para todo k del conjunto A, es decir, P
(k) es verdadera, a esta proposicin, se le llama Hiptesis de Induccin.
III. Se demuestra que para el siguiente trmino al k-simo, o sea k+1, P (k+1) es verdadera

Segundo Aporte Individual:

Socializar en el Foro de Interaccin y Produccin la conceptualizacin y ejemplos
concretos de alguna de las Leyes de Inferencia Lgica (slo selecciona una e informa en el
foro cual escogi, para que no sea escogido por otro integrante), las operaciones son:

SILOGISMOS HIPOTTICOS.
El silogismo hipottico se caracteriza por estar formado por juicios hipotticos. La
estructura formal del silogismo hipottico es la siguiente:
Si A es, B es
Si B es, C es
Luego, si A es, C es.
SILOGISMO HIPOTTICO MIXTO.
Se llama hipottico mixto al silogismo que est formado por una premisa mayor hipottica,
una premisa menor categrica y una conclusin tambin categrica.
Tiene dos modos principales: modus ponens (afirmativo) y modus tollens (negativo). La
estructura formal del modus ponens es la siguiente:

Si A es, B es
Ahora bien, A es
Luego, B es.
La estructura formal del modus tollens es la siguiente:
Si A es, B es
Ahora bien, B no es
Luego, A no es.
SILOGISMO DISYUNTIVO.
El silogismo disyuntivo es similar al hipottico mixto, pues su premisa mayor es disyuntiva
mientras que la menor y la conclusin son categricas.
Admite tambin dos modos: modus ponendo tollens (afirmativo negativo) y modus tollendo
ponens (negativo afirmativo).
La estructura formal del modus ponendo tollens es la siguiente:
A es B o C
Ahora bien, es B
Luego, no es C
La estructura formal del modus tollendo ponens es la siguiente:
A es B o C
Ahora bien, no es B
Luego, B es o C es

Tercer Aporte Individual: Seleccionar uno de los siguientes enunciados y a travs de las
dos formas bsicas de uso de las Tablas de Verdad y del uso de las Leyes de Inferencia
demostrar la validez o no validez del argumento dado (slo selecciona uno e informa en el
foro cual escogi, para que no sea escogido por otro integrante), los enunciados son:

4. Si Rosa participa en el E-Portafolio despus de la fecha mxima de la entrega de aportes

entonces los compaeros de grupo se enojan con ella. Y si no participa en el E-Portafolio,
el tutor le asigna la ms baja nota. Pero, Rosa participa en el E-Portafolio o no participa.

Por lo tanto, los compaeros de grupo colaborativo se enojan con ella o el tutor le asigna
una mala nota.

p: rosa participa en el E-portafolio despus de la fecha mxima de la entrega de los aportes

q: los compaeros de grupo se enojan con ella
r: el tutor le asigna la ms baja nota
Premisa 1: pq
Premisa 2: qr
Premisa 3: rp

Conclusin1: (qr)
Conclusin 2: 1,2 y 3
Por lo cual el razonamiento es vlido.
(PQ)(QR) = (C1) por la ley del silogismo
(C2) por la ley de la disyuncin
SD (1), (2)
SH (3), (4)

P
T

PQ

QR

(PQ)(QR)
T

2 APORTE GRUPAL

El Director del Curso de Pensamiento Lgico y Matemtico de la Universidad UNAD es el

encargado de muchas de las labores ms importantes. Si es as, entonces ser Director de
Curso es un cargo difcil de manejar. Los estudiantes dicen que, o los Directores de Curso
son personas de las que depende el funcionamiento curricular de la Universidad, o que slo
se dedican a aprobar y reprobar a los estudiantes. Pero si ellos slo se dedican a aprobar y
reprobar a los estudiantes, entonces ser Director de Curso no es un cargo difcil de manejar.
Adems, si la Direccin de Curso Acadmico no es un cargo que slo quienes se han
preparado para ello lo merecen, entonces sera falso que los estudiantes digan que los
Directores de Curso son personas de las que depende la Universidad y que el Director de
Curso es el encargado de muchas de las labores ms importantes. Por lo tanto, la Direccin
de Curso Acadmico es un cargo que slo quienes se han preparado para ello lo merecen.

P = es el director de curso acadmico

x = de los Directores de Curso dependen el funcionamiento curricular de la U.
y = que solo se dedican aprobar y reprobar a los estudiantes
z = cargo que quienes se han preparado. Lo merecen.
r = difcil de manejar (encargado de muchas de las labores ms importantes)

(x= negacin) (r =negacin)

P = (y. r) + (z + x + r)
P = (y. r. r) + z +(x + r)
P = (y. o)+ (z) +(x + r). (x + r)

P = (o) + z +o
P=z

CONCLUSIN
Las demostraciones son una parte esencial de las matemticas. Existen distintas formas de
probar una misma proposicin. Cada demostracin destaca un aspecto importante del
problema y su relacin con las distintas reas de la matemtica. En los procesos de
demostracin surgen ideas que pueden ser innovadoras y susceptibles de producir nuevos
conocimientos. En la actualidad, la matemtica se considera una ciencia formal que utiliza
un lenguaje expresado en smbolos en donde las proposiciones deben ser demostradas con
todo rigor. Esto no impide, sin embargo, la bsqueda de relaciones y formulas mediantes
otros mtodos como los visuales o computacionales. Las demostraciones en matemticas
son procesos cognitivos que dependen de la complejidad de las proposiciones. No existen
mtodos universales de demostracin. Sin embargo hay una condicin sine qua non que no
debe faltar en el proceso: Para demostrar un teorema hay que tener una buena comprensin
de los conceptos involucrados. No se puede demostrar algo sobre lo cual tenemos un
conocimiento incompleto o muy vago.

BIBLIOGRAFA
http://datateca.unad.edu.co/contenidos/551105/Modulo_exe_2013/leccin_24_demostracin_
directa_e_indirecta.html
http://www.aulafacil.com/cursos/l8570/arte-humanidades/filosofia/filosofiafacil/silogismos-hipoteticos-y-disyuntivos