You are on page 1of 13

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

ESCUELA DE CINCIAS HUMANIDADES Y ARTES


PENSAMIENTO LGICO MATEMTICA
TRABAJO COLABORATIVO III

KELLY GANDARA LOZANO. Cod. 1065590385


PABLO BOLAO GARCIAS Cod. 1061691980
PAOLA CONTRERAS CAMELO. Cod 1065594827

200611A_225
200611_335

TURORA
DORIXY DE ARMAS DUARTE

VALLEDUPAR
MAYO
2016
INTRODUCCION

El objetivo de este trabajo consiste en el desarrollo, anlisis y ejecucin


de problemas planteados, y

que tiene el propsito de resolver las

situaciones de los temas desarrollados en el curso y extraer la solucin,


haciendo aportes significativos en el foro de Iteracin y Produccin fase
3

para

evidenciar

travs

de

debidos

debates

acadmicos

contribuyendo a los diversos criterios en las temticas de la Unidad 3,


razonamientos

lgicos,

inferencia

lgica

argumentos

lgicos

(inductivos); unificndolos para dar cumplimiento a la consolidacin del


trabajo final propuesto en el curso Pensamiento lgico Matemtico de la
Universidad Nacional Abierta y a Distancia UNAD. Por ltimo de manera
individual enviar por el entorno de evaluacin y seguimiento, en

e-

portafolio la debida entrega con aporte significativo de una de las


propiedades del lgebra de Boole.

OBJETIVOS
Reconocer las funciones e importancias de la tabla de verdad
Dar a conocer las temticas de razonamientos lgicos, inferencia
lgica y
argumentos lgicos (inductivos) .
Comprender el papel que juega la lgica en nuestras vidas
cotidiana y la importancias que tiene este temas para la
realizacin de ejercicios del dio da

CUERPO DEL TRABAJO


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 videotutoriales 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 disciplinado en mis estudios
q: entrego mis aportes significativos a tiempo
r: resuelvo mis inquietudes del tema con el tutor
s: me dedico a rumbear y pasear
t: en las noches veo videos tutoriales del tema

p1: p q r
p2: s ~ q

premisas

p3: t ~ r
p4: p^ t
q

conclusin

Tabla de verdad
p

~q

~r

qr

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
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
F
F
F
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
F
F
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
V
V
F
F
V
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
V
F
V
F

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
V
V
V
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
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
F
F
F
F

p^
t
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F

P1

P2

P3

P4

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

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

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

V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
F
F
F
F
F
F
F
F
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
V
V
V
V
V
V
V
F
F
F
F
F
F
F
F

PREMIS
AS

2. DESMOSTRACION POR LEYES DE INFERENCIAS


P1: p qr
p2: s~q
p3: t~r

premisas

p4: p^t
p5: p
p6: qr
p7: t
p8: ~r
p9: q

Sim (p4)
MPP ( P3,
P5,P7)

SD (p6, p8) =
conclusin

Otras premisas
deducidas por
las leyes de
inferencia

CONCLUSI
NO

Las premisas son


verdades y la
conclusin es
verdadera, lo que
explica que el
razonamiento es
valido

Conclusin
Con esta actividad nosotros los estudiantes logramos identificar y utilizar
en forma clara las reglas de inferencia lgica por induccin y deduccin
en formulaciones y demostraciones de razonamientos vlidos en
situaciones

especficas.

Planteamiento

La

resolucin

consolidacin
en

equipo

del

fue

acompaamiento de todos los participantes

muy

trabajo
buena

con

el

para dar respuesta a la

situacin problemtica en la Fase Grupal establecida en la gua.

REFERENCIAS

grupal

Referencias
.
http://datateca.unad.edu.co/contenidos/90004/Logica_matematica_9000
4_AVA_2015-01/Lectura-1.pdf
http://campus03.unad.edu.co/ecbti04/pluginfile.php/5598/mod_forum/int
ro/Orientaciones%20Trabajo%20Colaborativo%20Tres.pdf
http://datateca.unad.edu.co/contenidos/200611/ANO_2016/1601/d._200611_Trabajo_Colaborativo_Tres_2016-01

APORTES INDIVIDUALES
PAOLA CONTRERAS
Primer aporte individual: Demostraciones Directas e Indirectas.

Demostracin directa: Se plantea una proposicin, en la forma si p


entonces q, donde p se denomina hiptesis (condicin suficiente) y q, se
llama tesis o conclusin (condicin necesaria). Por ejemplo, si llueve la
pista est mojada; esto es: que es una condicin suficiente para que se
a niegue la pista, es que llueva. Y si llueve necesariamente se moja la
pista. En el contexto matemtico, de la verdad de la hiptesis se llega a
la verdad de la conclusin, usando proposiciones cuya certeza se conoce
previamente.
En la demostracin directa, la conclusin se establece al combinar
lgicamente los axiomas, definiciones, y teoremas previos. Por ejemplo,
la demostracin directa puede ser usada para establecer que la suma de
dos enteros pares es siempre par: Considere dos enteros pares x e y.
Como son pares, pueden ser escritos como x = 2a e y = 2b,
respectivamente, para enteros a y b. Luego la suma x + y = 2a + 2b =
2(a+b). Por lo tanto x+ y tiene un factor de 2 y, por definicin, es par.
Por lo tanto la suma de dos enteros pares es par. Esta demostracin usa
la definicin de enteros pares, las propiedades de los enteros para la
clausura bajo la adicin y la multiplicacin, y la distributivita.
Tambin un teorema se puede enunciar en la forma "p si, slo si q", que
conlleva dos enunciados "si...entonces". Se prueba " si p...entonces q" y
adems, " si q... entonces p". Como ejemplo, a es un nmero impar si,
slo si a + 1 es par. Enunciados de esta ndole, en la prctica, pueden
demostrase directamente los dos o bien por reduccin al absurdo. Lo
importante es el enlace bicondicional.
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
Segundo aporte: Silogismo Hipottico y Silogismo Disyuntivo.
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 DISYUNTIVO. Si la premisa mayor es a la vez hipottica y
disyuntiva, tenemos el silogismo hipottico disyuntivo. Este silogismo

tiene dos modos: modus ponens (afirmativo) y modus tollens (negativo).


La estructura formal del modus ponens es la siguiente:
Si A es, B es o C es
Es as que A es
Luego, A no es
Este ltimo razonamiento se llama tambin razonamiento temtico
(lemma = supuesto), de donde se llama tambin dilema cuando tiene
dos miembros disyuntivos; tambin puede ser trilema o, en general,
polilema. Dice Essen que este tipo de razonamiento sirve para rebatir
una afirmacin mostrando lo que se afirma implcitamente y
necesariamente y negando luego ambos miembros de la disyuncin, por
lo cual la afirmacin queda negada.
Tercer aporte: 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.

PABLO BOLAOS
PRIMER APORTE
CONTRAEJEMPLO
Es una excepcin a una regla general propuesta, es decir, un caso
especfico de la falsedad de una cuantificacin universal (un "para
todo").
Por ejemplo, consideremos la proposicin "todos los escritores son
inteligentes". Como esta proposicin dice que una cierta propiedad
(inteligencia) es vlida para todos los escritores, incluso un solo escritor
tonto probar su falsedad. En este caso, un escritor tonto es un
contraejemplo a "todos los escritores son inteligentes".
El nmero 2 es el nico contraejemplo de la proposicin "todos los
nmeros primos son impares". Algunas proposiciones pueden ser
negadas con un nmero mayor, incluso infinito de contraejemplos
("todos los nmeros impares son primos" tiene infinitos contraejemplos:
todos los mltiplos impares de 3, 5, 7, etc.).
https://es.wikipedia.org/wiki/Contraejemplo
Mtodo por contraejemplo
Este mtodo se aplica de manera muy particular para demostrar la
falsedad de proposiciones cuya hiptesis est construida mediante un
"cuantificador universal". Esto es, se aplica para demostrar la falsedad
de una proposicin que tenga una conclusin referida para "todos los
elementos de un cierto conjunto".
Qu entender por un contraejemplo
Para demostrar la falsedad de proposiciones de este tipo, basta exhibir
un elemento que satisfaga la hiptesis de la proposicin, pero que no
satisfaga su conclusin. A dicho elemento se le conoce con el nombre de
contraejemplo.

Este mtodo es muy til cuando uno se encuentra ante una proposicin
con cuantificador universal, de la cul no se sabe si es verdadera o falsa.
La primera idea es buscar un contraejemplo. Si no se encuentra en una
primera instancia, se intentar demostrar su veracidad aplicando los
otros mtodos o una combinacin de ellos.
Ejemplos
Demostrar que son FALSAS las siguientes proposiciones:

SEGUNDO APORTE
DILEMA CONSTRUCTIVO:
Como primera premisa se tiene la conjuncin de dos proposiciones
condicionales, su segunda premisa es la disyuncin de los antecedentes
de ambas condicionales y se concluye en la disyuncin de sus
consecuentes.
Si estudio aprendo y si duermo
descanso.
Estudi o dorm.
Luego Aprend o descans.
( p q) (r s )
pr
\q s
ABSORCION:
Permite que a partir de una proposicin condicional, se concluya en otra
condicional con el mismo antecedente, aunque en el consecuente se
unen las dos proposiciones con una conjuncin.
Si estudio aprendo
Estudio, luego aprendo y estudio
PQ
/.. P (P v Q)
https://argumentosdevalides.wordpress.com/2012/05/29/leyesimplicacion/
TERCE APORTE
5. Los estudiantes que conformaron el CIPAS de lgebra Trigonometra y
Geometra Analtica se han reunido y deben buscar bibliografa del tema
de secciones cnicas, de lo cual conversan lo siguiente: Vamos a
consultar la tarea en el edificio de la biblioteca de la UNAD si est
caluroso el da. Si no vamos a consultar la tarea en el edificio de la
biblioteca de la UNAD, entonces vamos a hacer la consulta por el portal
virtual E-Biblioteca. Si vamos a hacer la consulta por el portal virtual E-

Biblioteca, entonces vamos a descargar el libro en PDF. Por lo tanto


vamos a descargar el libro en PDF
.
RESPUESTA:
p: consultar la tarea en el edificio de la biblioteca de la UNAD
q: El da esta caluroso
r: Consultar la tarea en el portal virtual E-Biblioteca
s: Descargar el libro en PDF
PREMISAS:
P1: qp
P2: ~pr
P3: rs
S (conclusin)

TABLA DE LA VERDAD:
p

v
v
v
v
v
v
v
v
f
f
f
f
f
f
f
f

v
v
v
v
f
f
f
f
v
v
v
v
f
f
f
f

v
v
f
f
v
v
f
f
v
v
f
f
v
v
f
f

v
f
v
f
v
f
v
f
v
f
v
f
v
f
v
f

~
p
f
f
f
f
v
v
v
v
f
f
f
f
v
v
v
v

qp

~pr

v
v
v
v
v
v
v
v
f
f
f
f
v
v
v
v

v
v
v
v
v
v
f
f
v
v
v
v
v
v
f
f

r
s
v
f
v
v
v
f
v
v
v
f
v
v
v
f
v
v

s
v
f
v
f
v
f
v
f
v
f
v
f
v
f
v
f

Las premisas son


verdaderas y la
conclusin es falsa, lo que
implica que el

KELLY GANDARA

PRIMER APORTE
Demostracin por Contraposicin
En lgica, la contraposicin de una declaracin condicional se forma
negando ambos trminos e invirtiendo la direccin de la inferencia.
Explcitamente, la contraposicin de la declaracin "si A, entonces B" es
"si no es B, entonces no A." Una declaracin y su contrapositiva son

lgicamente equivalentes: si la afirmacin es cierta, entonces su


contrapositivo es cierto, y viceversa.1
En matemticas, la demostracin por contraposicin es una regla de
inferencia utilizada en demostraciones. Esta regla se infiere una
sentencia condicional a partir de su contraposicin.2 En otras palabras,
la conclusin "si A, entonces B" se extrae de la premisa simple "si no B,
entonces no A.
EJEMPLO Cualquier demostracin por contraposicin tambin puede
formularse trivialmente en trminos de una demostracin por
contradiccin: Para demostrar la proposicin
, consideramos lo
contrario,
. Puesto que tenemos
una prueba de que
, tenemos
lo que
llega a la contradiccin que se pretende. As que demostracin por
contraposicin es en cierto sentido "al menos tan difcil de formular"
como demostracin por contradiccin.
SEGUNDO APORTES
Ley de Adicin y Tollendo Ponens
Ley de la Adicin: Se puede adicionar proposiciones simples con el
termino de enlace disyuncin, aplicando la ley de la adicin. Su
abreviatura es LA (Ley de la Adicin) Deducciones o deduccin
proposicional Son la combinacin de reglas de inferencia lgica que se
puede aplicar a un conjunto de premisas para llegar a la demostracin y
obtencin de la conclusin.
Tollendo Ponens: En la lgica clsica, el silogismo disyuntivo1 2
(histricamente conocido como modus tollendo ponens) es una forma de
argumento vlida que es un silogismo disyuntivo que tiene una
declaracin disyuntiva de una de sus premisas.
bien el incumplimiento es una violacin de seguridad, o no est
sujeta a multas.
El incumplimiento no es una violacin de seguridad.
Por lo tanto, no est sujeto a multas.
TERCER APORTE
3. Todos nos sentimos afligidos por la situacin ocurrida en Ecuador
el da 16 de Abril, por el Terremoto que ha generado una tragedia
para los habitantes de dicha Nacin, analicemos lo siguiente: Si
hay una situacin de calamidad pblica, el ndice de
sobrevivientes disminuye. Si llegan tardamente las ayudas
internacionales, las esperanzas de la recuperacin social sern
menores. Si el ndice de disminuye y las esperanzas de la
recuperacin social son menores, entonces la sociedad ir
recuperndose lentamente. La calamidad pblica es un hecho y
las ayudas internacionales llegan de manera tarda. Luego, la
sociedad ir recuperndose lentamente.
P= si hay una situacin de calamidad publica, el ndices de
sobrevivientes disminuye
q: si llegan tardamente las ayudad internacionales, las esperanzas
de la recuperacin social sern menores.
r:si el ndices disminuye y las esperanzas de recuperacin social
son menores entonces la sociedad ira recuperndose
lentamente.

s:la calamidad publica es un hecho y las ayudad internacionales


llegan de manera tardas. Luego la sociedad ira recuperndose
lentamente.
1
2
[( p^q
) 3r ] ^s ]

p
V
V
V
V
V
V
V
V
F
F
F
F
F
F
F
F

q
V
V
V
V
F
F
F
F
V
V
V
V
F
F
F
F

r
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F

s
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F

1
V
V
V
V
F
F
F
F
F
F
F
F
F
F
F
F

2
V
V
V
V
F
F
V
V
F
F
V
V
F
F
V
V

3
V
F
F
F
V
F
F
F
V
F
F
F
V
F
F
F