PENSAMIENTO LOGICO Y MATEMATICO

TRABAJO COLABORATIVO TRES

TUTOR:
ADRIAN REINALDO VALENCIA
ESTUDIANTE:
LAIDY FERNANDA JIMENEZ JIMENEZ
CDIGO: 1123086146

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

ESCUELA DE CIENCIAS BSICAS TECNOLOGAS E INGENIERAS
15-MAYO-2016

PRIMER APORTE INDIVIDUAL:

DEMOSTRACIONES DIRECTAS E INDIRECTAS.
Una demostracin se construye a partir de las hiptesis del teorema a demostrar, los
axiomas que sabemos que son verdad, y teoremas previamente demostrados. A partir de
estos se utilizan las reglas de inferencia lgica. Pregunta: Cuan formal debe ser una
demostracin? Los mtodos de demostracin presentados aqu son relevantes no solo en
matemticas, sino tambin en varias aplicaciones computacionales.
Un teorema es una proposicin matemtica que puede ser demostrada que es verdad. Se
asume que un teorema es una proposicin matemtica importante, de otra forma se llama
simplemente proposicin. Resultados intermedios se llaman lemas. Un corolario es un
teorema que puede ser probado fcilmente de otro teorema probado anteriormente. Una
conjetura es algo que se piensa que es verdadero, pero para lo cual no existe demostracin.
MTODO DIRECTO DE DEMOSTRACIN
En el mtodo de demostracin directa se tiene como hiptesis verdaderas las proposiciones
H1 y H2 y y Hn procediendo a la deduccin de que la conclusin Q es verdadera a travs
de un proceso lgico deductivo, es decir como una cadena de implicaciones lgicas. El
esquema de demostracin en el mtodo directo es de la forma:
Si H1 y H2 y y Hn entonces Q
En forma simblica:
H1 H2 Hn Q
El mtodo de demostracin directo tiene como fundamento lgico la regla de inferencia
clsica o esquema argumentativo vlido llamado: Modus Ponens
[P (PQ) ] Q

Modus Ponens

Que significa: si la hiptesis P es verdadera y la hiptesis P implica la conclusin Q

entonces la conclusin Q es verdadera.
Para una mejor comprensin del esquema de demostracin directa se tiene algunos
ejemplos donde se identifica cada elemento en la demostracin.
EJEMPLO:
Demuestre que si las funciones f(x) y g(x) son derivables en x = b entonces la funcin
f(x)g(x) es derivable en x = b
Demostracin: Se identifican las hiptesis y la conclusin:

H1: f(x) es derivable en x = b

H2: g(x) es derivable en x = b
Q: f(x)g(x) es derivable en x = b
Despus de identificar las hiptesis y la conclusin, se tiene una pregunta fundamental que
aparece constantemente en diferentes niveles acadmicos Cmo iniciar la secuencia de la
demostracin? La respuesta se encuentra precisamente en la conclusin f(x).g(x) es
derivable en x= b por lo que un inicio correcto es considerar la derivada del producto
f(x).g(x) en x = b, por definicin:

Cmo se puede reescribir el cociente expresado en (1) de tal manera que

sean aplicables las hiptesis H1 y H2?
La respuesta se encuentra en que f )x( y g )x( son de la forma:

Que sugieren estudiar una relacin entre los numeradores de (1) y (2).
Bsicamente se suma y resta un trmino adecuado al numerador en (1) que
permita extraer factor comn para que aparezcan los numeradores de (2),
seleccionando el trmino: f(x)g(b), se tiene:

Extrayendo factor comn:

Dividiendo ambos sumandos en el numerador por el denominador:

Evaluando el lmite de una suma que es igual a la suma de los lmites

Evaluando

MTODOS DE DEMOSTRACIN INDIRECTOS

El mtodo de demostracin directa no siempre es aplicable debido a la naturaleza de las
proposiciones a demostrar, por lo que es necesario realizar una demostracin indirecta las
cuales son ampliamente usadas en matemticas, a continuacin algunos de los mtodos
usuales de demostracin indirecta.
METODO DE DEMOSTRACION POR REDUCCION AL ABSURDO
Se atribuye al filsofo griego Zenn de Elea, alrededor del siglo V a.C., la invencin del
mtodo de reduccin al absurdo que utilizaba en sus argumentos y en sus famosas
paradojas, desde entonces es un mtodo ampliamente aplicado en matemticas.
El procedimiento general para demostrar indirectamente por reduccin al absurdo una
proposicin de la forma (H1 H2 Hn ) Q consiste en:
R1) Negar la conclusin Q utilizando las leyes de la lgica, la negacin de Q es denota por
Q que se lee no Q
R2) El conjunto de hiptesis ahora es de la forma H1 H2 Hn Q, es decir que
Q se aade como una hiptesis
R3) Del conjunto de hiptesis enunciadas en R2) obtener una contradiccin evidente, una
contradiccin es una proposicin que siempre es falsa y es denotada por C, en forma
simblica: H1 H2 Hn Q C, es decir que el conjunto de hiptesis {H1, H2,
, Hn,Q} es inconsistente o contradictorio.
R4) entonces Q es verdadera por la obtencin de una contradiccin al suponer verdadera la
negacin de Q.

Aristteles fundamento lgicamente la demostracin por reduccin al absurdo en dos

principios: principio de no contradiccin (pq) considerada ley suprema de la lgica
segn Kant y Aristteles, que significa que una proposicin no es verdadera y falsa
simultneamente y el principio del tercero excluido (pp) que significa que una
proposicin es verdadera o falsa. Si no son aceptados los principios anteriores, el mtodo de
reduccin al absurdo carece de fundamento lgico.
El fundamento lgico del mtodo de reduccin al absurdo es la equivalencia lgica llamada
precisamente reduccin al absurdo:

Donde P es de la forma H1 H2 Hn Q y C denota una contradiccin

Cuando solamente se afirma una proposicin Q sin ninguna hiptesis, como por ejemplo:
es transcendental, entonces la veracidad de Q se obtiene de la regla de inferencia:

METODO DE DEMOSTRACION POR CONTRAPOSITIVA

El mtodo de demostracin por contrapositiva es un mtodo indirecto que tiene como
fundamento la equivalencia lgica.

Para realizar una demostracin por contrapositiva se toma como hiptesis la negacin de la
conclusin escrita como Q para obtener como conclusin la negacin de la hiptesis
escrita como P. El esquema argumentativo de la deduccin por contrapositiva es de la
forma:

SEGUNDO APORTE INDIVIDUAL:

SILOGISMO HIPOTTICO Y SILOGISMO DISYUNTIVO.
SILOGISMO HIPOTETICO: esta ley habla de la reaccin a un posible suceso,
Y es un argumento que se expresa simblicamente as:
p q Se lee: si p entonces q
q r Se lee: si q entonces r
...p r Se lee: de donde
Si p entonces r
En la lgica proposicional, el silogismo hipottico es el nombre de una regla de
inferencia vlida (a veces abreviado SH y, a veces tambin llamado argumento
cadena, regla de cadena, o el principio de transitividad de la implicacin). El silogismo
hipottico es una de las reglas de lgica clsica, que no siempre es aceptado en
ciertos sistemas de lgica no clsica.
ES UN ARGUMENTO SE EXPRESA SIMBOLICAMENTE ASI:

[( p q ) (q r )] ( p r )
EJEMPLO 1:

EJEMPLO 2:
PREMISA 1: si el agua se hiela, entonces sus molculas forman cristales.
PREMISA 2: si las molculas forman cristales, entonces el agua aumenta de volumen.
CONCLUSION: si el agua se hiela, entonces el agua aumenta de volumen.
SIMBOLICAMENTE:
p: el agua se hiela.
q: sus molculas forman cristales.
r: el agua aumenta de volumen.
PREMISA 1: p q
PREMISA 2: q r

CONCLUSION: p r
SILOGISMO DISYUNTIVO:
pq
~p
... q
Si una disyuncin es verdadera y una de sus proposiciones simples es falsa, entonces
necesariamente la otra proposicin ser verdadera.
Simblicamente se escribe as:
[( p V q ) ~p] ~ q o [( p V q ) ~q] p
Ejemplo 1:
Premisa 1: O la energa interna de un tomo puede cambiar con continuidad o cambia slo
a saltos.
Premisa 2: La energa interna de un tomo no puede cambiar con continuidad
Conclusin: La energa interna de un tomo cambia slo a saltos.
Simblicamente:
p: La energa de un tomo puede cambiar con continuidad
q: La energa de un tomo slo cambia a saltos
Premisa 1: p v q
Premisa 2: ~p
Conclusin: p

TERCER APORTE INDIVIDUAL:

Si Bibiana aprueba el periodo acadmico entonces Johanna y Santiago sus hermanos se

enojan con ella. Y si no aprueba el periodo acadmico, pierde los beneficios de la beca
obtenida en la Universidad. Pero, Bibiana aprueba el periodo acadmico o no lo aprueba.
Por lo tanto, Johanna y Santiago sus hermanos se enojan con ella o pierde los beneficios de
la beca obtenida en la Universidad.
p: aprueba el periodo
q: sus hermanos se enojan con ella
r: pierde el beneficio de la beca
Entonces:
[(p>q)&(~p>r)&(p+~p)>(q+r)]