498-Trabajo Colaborativo Tres

Wilson Javier Morales

lvaro Andres Alvarez Rojas

GRUPO-498
Pensamiento Lgico y Matemtico

Universidad Nacional Abierta y a Distancia-UNAD

Ingeniera industrial

Villavicencio 08 de Mayo del 2016

498-Trabajo Colaborativo Tres

Wilson Javier Morales
lvaro Andres Alvarez Rojas

GRUPO-498
Pensamiento Lgico y Matemtico

Tutor
Linc. ADRIAN REINALDO VALENCIA

Universidad Nacional Abierta y a Distancia-UNAD

Ingeniera industrial

Villavicencio 08 de Mayo del 2016

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:

Demostraciones Directas e Indirectas.

- 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 x 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

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:

Demostracin por el Principio de Induccin Matemtica.

Sea P una propiedad definida en los nmeros naturales (enteros positivos). Si uno
satisface esa propiedad y adems si a partir de cualquier natural n que se
satisface esa propiedad llega a que n+1, tambin satisface, entonces cada nmero
natural lo satisface.
Para probar que una propiedad P se cumple en los nmeros naturales, usando el
principio induccin matemtica, se sigue los siguientes pasos:

1.
2.
3.
4.

Se comprueba para n=1 (Comprobacin)

Se asume que se cumple para n=k (Hiptesis de induccin)
Se predice que se cumple para n = k+1 (Tesis)
Se demuestra que si cumple para n=k, entonces se cumple para n =k,
entonces se cumple para n = k + 1 (Demostracin).

Observacin
En algunos casos la propiedad se cumple a partir de cierto natural m>1. Dada
esa situacin en el primer paso se comprueba para n=m.
Ejemplo 1:
Demuestre por induccin matemtica que:
Si n es un entero positivo, entonces n (n + 1) es divisible por 2.
a) Sea

n = 1, entonces:

n ( n + 1) = 2 (Verdadero)
b) Sea

n = k entonces :

K ( k+ 1 ) es divisible por 2

c) Sea
( k + 1)

(Hiptesis de induccin)

n = k + 1 , entonces
(k + 2) es divisible por 2 (Tesis)

d) Demostracin
(k + 1)(k + 2) =

k(k + 1) + 2(k + 1)

k ( k + 1 ) es divisible por 2
2 ( k + 1 ) es divisible por 2

(Por hiptesis de induccin) .

( Entero par ) .

Por lo tanto ( k + 1 ) ( k + 2 ) es divisible por 2 .

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:

Modus Ponendo Ponens y Modus tollendo Tollens.

- Modus ponendo ponens

En lgica proposicional, modus ponendo ponens (en latn significa "la forma en que se
afirma afirmando", generalmente abreviado MP o modus ponens1 2 3 4 ) o eliminacin del
implica es una forma simple de argumento vlido y regla de inferencia.5 Se puede resumir
como "P entonces Q; P se afirma siendo verdad, por lo que, por tanto, Q debe ser verdad."
La historia del modus ponens se remonta a la antigedad.6

Si bien el modus ponens es uno de los conceptos ms utilizados en la lgica no debe

confundirse con una ley lgica; ms bien, es uno de los mecanismos aceptados para la
construccin de pruebas deductivas que incluye la "regla de definicin" y la "regla de
sustitucin".7 Modus ponens permite eliminar una sentencia condicional de una prueba
lgica o argumento (los antecedentes) y por lo tanto no llevan estos antecedentes adelante

en una cadena alargada y constante de smbolos; por esta razn el modus ponens a veces se
denomina la regla de la separacin.8 Enderton, por ejemplo, observ que "el modus
ponens puede producir frmulas ms cortas de las ms largas",9 y Russell seal que "el
proceso de la inferencia no puede reducirse a los smbolos. Su nico registro es la
ocurrencia de q [el consecuente]... una inferencia es el lanzamiento de una premisa
verdadera, sino que es la disolucin de una implicacin".10

Una justificacin para la "la confianza en la inferencia es la creencia de que si los dos ex
afirmaciones [los antecedentes] no estn en un error, la afirmacin final de [el consecuente]
no es un error".11 En otras palabras: si un enunciado o proposicin implica una segunda, y
la primera afirmacin o proposicin es verdadera, entonces la segunda, tambin es
verdadera. Si P implica Q y P es verdadera, entonces Q es verdadera.12 Un ejemplo es:

Si est lloviendo, te esperar en el teatro.

Est lloviendo.
Por lo tanto, voy a cumplir en el teatro.

El modus ponens pueden establecerse formalmente como:

Donde la regla es que cada vez que una instancia de "P Q" y "P" aparece por s
mismos en lneas de una prueba lgica, Q puede ser colocado vlidamente en una lnea
posterior; adems, la premisa de P y la implicacin "disuelve", su nico rastro siendo el

smbolo Q que se mantiene para su uso posterior, por ejemplo, en una deduccin ms
compleja.

Est estrechamente relacionado con otra forma vlida de argumento, modus tollens.
Ambas tienen apariencia similar pero tienen formas invlidas, como la afirmacin del
consecuente, negando el antecedente, y evidencia de ausencia. El dilema constructivo es la
versin disyuntiva del modus ponens. El silogismo hipottico est estrechamente
relacionado con el modus ponens y a veces se lo considera como el "ponens modus doble."

Notacin formal

La regla del modus ponens puede escribirse en subsiguiente notacin:

donde es un smbolo metalgico que significa que Q es una consecuencia sintctica de P

Q y P en algn sistema lgico;

o como la afirmacin de una tautologa verdad-funcional o teorema de la lgica

proposicional:

donde P, y Q son proposiciones expresadas en algn sistema formal.

Explicacin

La forma de argumento tiene dos premisas (hiptesis). La primera premisa es la "sientonces" o reclamacin de condicional, a saber: que P implica Q. La segunda premisa es
que P, el antecedente de la alegacin condicional, es cierto. A partir de estas dos premisas
se puede concluir lgicamente que Q, el consecuente o apdosis de la reclamacin de
condicional, tambin debe ser verdad. En inteligencia artificial, el modus ponens
usualmente se lo denomina encadenamiento hacia adelante.

Un ejemplo de un argumento que se ajuste a la forma modus ponens:

Si hoy es martes, entonces Juan se ir a trabajar.

Hoy es martes.
Por lo tanto, Juan ir a trabajar.

Este argumento es vlido, pero esto no tiene nada que ver con si alguna de las
declaraciones en el argumento es verdadera; para que modus ponens sea un argumento
slido, las premisas debern ser verdaderas para cualquier instancia verdadera de la
conclusin. Un argumento puede ser vlido, pero, no obstante, poco slido si una o ms
premisas son falsas; si un argumento es vlido y todas las premisas son verdaderas,
entonces el argumento es slido. El argumento solo es slido los martes (cuando Juan va a
trabajar), pero es vlido en todos los das de la semana. Un argumento proposicional usando
modus ponens dice que es deductivo.

En clculo secuencial de conclusin nica, el modus ponens es la regla de corte. El

teorema de eliminacin del corte para un clculo dice que cada prueba que implica Corte

puede ser transformada (por lo general, por un mtodo constructivo) en una prueba sin
corte, y de ah que el corte sea admisible.

La correspondencia de Curry-Howard entre pruebas y programas relaciona el modus

ponens a la funcin aplicacin: si f es una funcin del tipo P Q y x es de tipo P, entonces
f x es de tipo Q.

Relacin con el Modus Tollens

Cualquier regla Modus ponens puede probarse mediante una regla Modus Tollens y de
transposicin. La prueba es el siguiente.
1. P Q
2. P / Q
3.~Q ~P 1 Transposicin
4.~~ P 2 Doble Negacin
5.~~ Q 3,4 Modus Tollens
6. 5 Doble negacin

Justificacin mediante tabla de verdad

La validez del modus ponens en la lgica clsica de dos valores se puede demostrar
claramente demostrada utilizando una tabla de verdad.

pq

En los casos de modus ponens se asume como premisa que p q es verdadera y p es

verdadera. Solo una lnea de la tabla de verdad la primera satisface estas dos
condiciones (p y p q). En esta lnea, q tambin es verdad. Por lo tanto, cada vez que p
q sea verdadero y p es verdadero, q debe tambin ser verdadero.

Va tollendo ponens

Paso

Proposicin

Derivacin

Premisa

Premisa

Implicacin
3
material (1)

Modus tollendo
4
tollens (2,3)

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:

Simplificacin y ley de la Conjuncin:

Simplificacin de Preposiciones
La simplificacin de una preposicin, o dicho de otra manera, la simplificacin de una
expresin lgica consiste en reducir la expresin Lgica a una forma ms simple mediante el
uso de los axiomas y/o leyes lgicas.
La simplificacin consiste en ir desarrollando la expresin paso a paso mediante la sustitucin
en cada paso de una expresin lgica equivalente a la anterior, hasta llegar a una expresin
lgica irreducible.
A travs de la simplificacin podemos tambin demostrar una equivalencia lgica sin usar
tablas de verdad.

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:
2. En la Universidad Nacional Abierta y a Distancia UNAD, se posee una
metodologa educativa que realmente forma profesionales competentes, a travs del
Aprendizaje Autnomo, para lo cual se debe ser muy disciplinado con los hbitos de
estudio adquiridos para cumplir con las actividades acadmicas. Milena se ha
esforzado por mantener un slido hbito de estudio, pero hay momentos en que sus
deberes son tantos, que no logra cumplir a cabalidad con las actividades del periodo
acadmico y se le presenta la siguiente situacin: Si el Director de Curso de
Pensamiento Lgico y Matemtico activa la etiqueta del Examen Nacional, entonces
desarrollar las demostraciones con las Leyes de Inferencia. Si el Director de Curso
no activa la etiqueta del Examen Nacional, har el trabajo final de Qumica General. Y
si aprovecho y hago el trabajo final de Qumica General, me pondr al da con las
notas pendientes. Por lo tanto, si no desarrollo las demostraciones con las Leyes de
Inferencia, me pondr al da con las notas pendientes de Qumica General.
P= el Director del curso de Pensamiento Lgico y Matemtico activa la etiqueta del
Examen Nacional.
q=Desarrollare las demostraciones con las leyes de la inferencia
r=Hare el trabajo final de qumica general
s=Me pondr al da con las notas pendientes.

[(p q) ^ (~p r) ^(r s)] (~q s)

DEMOSTRACION

Premisa 1
Premisa 2
Premisa 3
Premisa 4
Premisa 5
Premisa 6
Premisa 7
Conclusin

p q
~p r
r s
~q (P)
~p (TT) 1,4
r (PP) 2,5
s (PP) 3,6
~q s (CP) 4,7

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:

1. 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.
Declaracin de las proposiciones simples,
p: Bibiana aprueba el periodo acadmico.
q: Johanna y Santiago sus hermanos se enojan con ella.
r: pierde los beneficios de la beca obtenida en la Universidad
Expresin formal del razonamiento:
[()()()]()

Demostracin con leyes de inferencia

[()()()]()

P1. ()
P2. ()

P3. ()
C. ()

Trabajando premisa P2 y P3 por dilema simple obtenemos: pVr (P5)

Trabajando las premisas P1 y P5 por dilema simple obtenemos: qVr (P6)

El segundo momento de la Fase Grupal consiste en entregar un documento en

PDF, en el cual, como grupo realicen el planteamiento y la solucin del siguiente
problema de Inferencia Lgica:

1. Ana revisa las notas que lleva hasta el momento en el curso de Pensamiento
Lgico y Matemtico, y se da cuenta que debe realizar muy bien las tareas
faltantes para alcanzar a ganar el curso, observa que est a punto de abrirse el
foro del trabajo Colaborativo Tres y entonces se hace la siguiente
autorreflexin: Si soy disciplinada en mis estudios entonces entrego mis
aportes significativos a tiempo o resuelvo mis inquietudes del tema con mi
tutor. Si me dedico a rumbear, pasear, entonces no entrego mis aportes
significativos a tiempo. Si en las noches veo video-tutoriales del tema entonces
no necesito resolver mis inquietudes del tema con mi tutor. Soy disciplinada en
mis estudios y en las noches veo video-tutoriales del tema. Por lo tanto entrego
mis aportes significativos a tiempo.
P= soy disciplinada en mis estudios.
Q=entrego mis aportes significativos a tiempo.
R=resuelvo mis inquietudes del tema con mi tutor.
S=me dedico a rumbear, pasear.
T=en las noches veo videos tutoriales del tema.
Premisa 1: (p
Premisa 2: s
Premisa 3: t
Premisa 4: pt

q)v r
q
r

Conclusin q
{ [(

] [(

) (

)]

}[

Leyes de Inferencia
5 simp (4):p
6 simp (4):t
7 MPP (3): [(t

8 MTP (1-7) : { [(

9 MPP (8-5) [(
p
V
V
V

q
V
V
V

r
V
V
V

s
V
V
F

t
V
F
V

q
F
F
F

r
F
F
F

V
V
V
V
V
V
V
V
V
V
V
V
V
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F

V
V
V
V
V
F
F
F
F
F
F
F
F
V
V
V
V
V
V
V
V
F
F
F
F
F
F
F
F

V
F
F
F
F
V
V
V
V
F
F
F
F
V
V
V
V
F
F
F
F
V
V
V
V
F
F
F
F

) [ (
[(
) ( )
]
) ]
) (
) ]

[(
)

V
V
V
V
V
V
V
V
F
F
F

V
V
V
V
V
V
V
V
V
V
V

F
F
V
V
F
F
V
V
V
V
V

F
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F

F
V
F
V
V
V
V
V
F
V
F

F
F
F
V
F
F
V
V
F
V
F

F
F
F
V
F
F
V
V
F
V
F

F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F

[(
)[ ()
]
) (
) ]
F
F
F
V
F
F
V
V
F
V
F

F
F
F
F
F
V
V
V
V
V
V
V
V
F
F
F
F
F
F
F
F
V
V
V
V
V
V
V
V

F
V
V
V
V
F
F
F
F
V
V
V
V
F
F
F
F
V
V
V
V
F
F
F
F
V
V
V
V

[(
[( (
)[
]
)
) (
) ]
F
F
F
F
F
F
V
F
F
F
F

] )[ (
)
)[ ()

(
) ]
}
V
V
V
V
V
V
V
V
V
V
V

F
F
F
F
F
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V

V
F
F
F
F
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V

P
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
F
F
F
F
F
F

Q
T
T
T
T
T
T
T
T
F
F
F
F
F
F
F
F
T
T
T
T
T
T

V
V
V
V
V
F
F
V
V
F
F
V
V
V
V
V
V
V
V
V
V
R
T
T
T
T
F
F
F
F
T
T
T
T
F
F
F
F
T
T
T
T
F
F

V
V
V
V
V
F
V
F
V
V
V
V
V
F
V
F
V
V
V
V
V
S
T
T
F
F
T
T
F
F
T
T
F
F
T
T
F
F
T
T
F
F
T
T

V
V
V
V
V
F
F
F
V
F
F
V
V
F
V
F
V
V
V
V
V
t
T
F
T
F
T
F
T
F
T
F
T
F
T
F
T
F
T
F
T
F
T
F

V
F
F
F
F
F
F
F
V
F
F
V
V
F
V
F
V
V
V
V
V

[(

V
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F

)[ (

F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
)
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T

V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
) ]

F
F
F
F
F
F
F
F
F
F

T
T
F
F
F
F
F
F
F
F

F
F
T
T
T
T
F
F
F
F

F
F
T
T
F
F
T
T
F
F

T
F
T
F
T
F
T
F
T
T

T
T
T
T
T
T
T
T
T
T

Bibliografa

Leccin 24: Demostracin directa e indirecta:

http://datateca.unad.edu.co/contenidos/551105/Modulo_exe_2013/leccin_24_de
mostracin_directa_e_indirecta.html

Wikipedia la enciclopedia libre (2001) Modus ponendo ponens:

https://es.wikipedia.org/wiki/Modus_ponendo_ponens

Truth Table:
http://turner.faculty.swau.edu/mathematics/materialslibrary/truth/process.ph
p