RAZONAMIENTOS LGICOS, INFERENCIA LGICA Y ARGUMENTOS LGICOS

(INDUCTIVOS)
FASE III

YOMARA ANGLICA PARADA ALBADN

Cdigo: 1030531121

JULIO CESAR CORTES SORIANO

Cdigo: 1030526674

PENSAMIENTO LOGICO Y MATEMATICO 200611_105

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

INGENERIA INDUSTRIAL

BOGOT, MAYO 15 DE 2016

1
RAZONAMIENTOS LGICOS, INFERENCIA LGICA Y ARGUMENTOS LGICOS
(INDUCTIVOS)
FASE III

YOMARA ANGLICA PARADA ALBADN

Cdigo: 1030531121

JULIO CESAR CORTES SORIANO

Cdigo: 1030526674

PENSAMIENTO LOGICO Y MATEMATICO 200611_105

LUIS GABRIEL PRIETO

TUTOR

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

INGENERIA INDUSTRIAL

BOGOT, MAYO 15 DE 2016

2
 TABLA DE CONTENIDO

Introduccin....4

Objetivos.......5

Objetivo General.........5

Objetivos Especficos...5

1. Teoremas y Tcnicas de Demostracin......6

1.1 Los mtodos de demostracin directa e indirecta...6
1.1.1 Demostracin Indirecta ...6
1.1.2 Demostracin Directa ...............9
1.2 Demostracin por el principio de induccin
matemtica.11
2. Leyes de inferencia lgica ......13
2.1. Modus ponendo ponens y modus tollendo tollens ...13
2.1.1 Modus Ponendo Ponens ......14
2.1.2 Modus Tollendo Tollens .........14
2.2 Simplificacin y Ley de la Conjuncin15
2.2.1 Simplificacin Disyuntiva.....15
2.2.2 Ley de la conjuncin...15
3. Problemas de Razonamiento Lgicos .......17
4. Situacin Problemtica Grupal..24

Conclusiones....28

Bibliografa. ....29

3
 INTRODUCCIN

Para lograr un gran anlisis de los problemas enfocados a

diario y conocer su solucin, nos enfocamos a los superficial,
pero en algunas veces nuestra lgica sirve en algo para encontrar
un fin, en la fase III en que nos encontramos, logramos
fortalecer conocimientos, donde se analiza frase por frase de un
problema, punto inicial, intermedio y conclusin, es por en que
tenemos las tablas de la verdad, donde desarrollamos nuestra
mente a indagar a reaccionar de una manera negativa o positiva,
pero siempre con una finalidad, as mismo se calcula.

A continuacin analizaremos los problemas de razonamientos

lgicos, inferencia lgica y argumentos lgicos, donde
identificamos las tablas es una Tautologa, Contradiccin o
Contingencia, as mismo los problemas donde identificamos las
diferentes proposiciones categricas, con el fin de conocer el
manejo de las los teoremas, tcnicas de demostracin los mtodos
de demostraciones directa e indirecta.

4
 OBJETIVOS

OBJETIVO GENERAL

Identificar los conceptos del razonamiento lgico, la

inferencia lgica y sus argumentos lgicos.

OBJETIVOS ESPECIFICOS

Consultar los conceptos de los teoremas y tcnicas de

demostracin.
Dar a conocer las los mtodos de demostracin directa e
indirecta.
Revisar las leyes de inferencia lgica.
Indagar el empleo de la ley Modus Ponendo Ponens y Modus
Tollendo Tollens y la simplificacin con la ley de
conjuncin
Analizar cada problema con la utilizacin la Tautologa.
Observar los resultados de cada problema dado.

5
 1. LOS TEOREMAS Y TCNICAS DE DEMOSTRACIN

1.1 LOS MTODOS DE DEMOSTRACIN DIRECTA E INDIRECTA

Para probar que la proposicin Si A entonces B es verdadera, lo

que se debe analizar primero es que se tiene que hacer un
reconocimiento de cul es la proposicin A y la B.

Por lo general, todo lo que est entre las palabras si y

entonces constituye la proposicin A, y todo lo que est
despus de entonces, la B.

As mismo en otra composicin todo lo que se supone que es

cierto, es decir, la hiptesis, es A y todo lo que tienes que
probar que es cierto, es decir, la tesis, es B.

Ejemplo:

Proposicin: Si el tringulo rectngulo XYZ de catetos x e y e

z2 X
hipotenusa z tiene de rea , entonces es issceles.
4 z
y

Z x Y

Se entiende que tenemos las proposiciones A El tringulo

z2
rectngulo XYZ de catetos x e y e hipotenusa z tiene de rea
4
y B El tringulo rectngulo XYZ es issceles.

1.1.1 EL MTODO DE DEMOSTRACIN INDIRECTA

6
En el mtodo de demostracin indirecta, donde se pregunta:
Cmo, o cundo, debo concluir que la proposicin B es
verdadera? Esta pregunta se debe hacer de forma general.

En el ejemplo anterior, se pregunta (general) es: Cmo puedo

probar que un tringulo es issceles?

Respecto a la proposicin B, se llamara la pregunta clave. Una

pregunta clave bien planteada no debera contener ni smbolos ni
otras notaciones (salvo nmeros) del problema que se est
considerando. La llave para muchas demostraciones es formular
correctamente la tal pregunta clave.

Ya planteada la pregunta clave, el siguiente paso ser

responderla. Volviendo al ejemplo anterior, cmo puedo probar
que un tringulo es issceles? Obviamente, una forma es probando
que dos de sus lados tienen la misma longitud. Considerando
nuestra figura, deberas probar que x y. Observa que en la
respuesta a la pregunta clave hay dos fases: en primer lugar, se
da una respuesta general que no contiene smbolos del problema
planteado: demostrar que un tringulo es issceles, es demostrar
que dos de sus lados tienen igual longitud. Luego se aplica esta
respuesta a la situacin: demostrar que dos de sus lados tienen
igual longitud, significa demostrar que x y (no que x z y
z).

Con el mtodo de demostracin indirecta, ha construido una nueva

proposicin, B1, que tiene la propiedad de que si puedes
demostrar que B1, es verdadera, entonces B lo ser. En nuestro
ejemplo, la nueva proposicin es B1: x y.

Si puedes probar que x y, entonces el tringulo XYZ es

issceles. Una vez que has planteado la proposicin B1, todos tus

7
esfuerzos deberan dirigirse a intentar llegar a la conclusin de
que B1 es verdadera, pues entonces seguira que B es verdadera.
Cmo puedes demostrar que B1 es verdadera? Cmo puedes plantear
una nueva pregunta clave para B1?

Ejemplo:

Si dos rectas son perpendiculares a la misma recta, las dos

rectas son paralelas:

Paso 1: Dado: k l m, l m.

Prueba: k II l

Afirmaciones

Paso 2:

a) Supngase que k y t (k no es paralela a t)

b) K y t se intersectan en el punto C
Paso 3
c) Se forma ABC
d) m/_ DAC >/_ ABC
e) k lm, t l m
f) /_DAC y /_ABC son ngulos rectos
g) m/_DAC = m /_ABC (contradiccin de m /_ DAC > m /_ ABC).
Pas 4
h) Por tanto k!!t

RAZONES

1. Suposicin de la prueba indirecta

2. Replanteamiento de 1
3. Definicin de triangulo
4. Teorema del Angulo externo

8
 5. Dado
6. Definicin de las perpendiculares
7. Todos los ngulos rectos tienen la misma medida
8. Lgica de la prueba indirecta

1.1.2. EL MTODO DE DEMOSTRACIN DIRECTA

El mtodo de demostracin directa parte de la proposicin A, se

supone que es verdadera, y deducir una nueva proposicin A1 que
pueda ver que es verdadera como resultado de que A lo es. Es
importante resaltar que las proposiciones deducidas de A no deben
ser hechas de cualquier modo, deben estar enfocadas hacia la
ltima proposicin obtenida en el mtodo indirecto.

Segn ejemplo, la ltima proposicin obtenida en el mtodo

indirecto era B2 : x y 0.

En este ejemplo, la proposicin A es El tringulo rectngulo XYZ

de catetos de longitud x e y e hipotenusa de longitud z, tiene
z2
por rea .
4

Como bien sabes, de A deducimos

xy z 2
A1:
2 4

Otra proposicin til deducida de A es

A2: x2 y2 z2.

Naturalmente que podemos combinar A1 y A2 y construir ms

proposiciones verdaderas. As, en nuestro caso, tendramos

9
 xy x 2 y 2
A3: .
2 4

Uno de los problemas de este mtodo es que es tambin posible

construir algunas proposiciones carentes de utilidad, por
ejemplo: El ngulo X es menor de 90.

Como no hay normas especficas para construir nuevas

proposiciones, se tiene en cuenta que, el caso, el mtodo de
demostracin directa est dirigido a probar la proposicin B2: x
y 0, que fue la ltima que se obtuvo del mtodo de
demostracin indirecta.

El hecho de que B2 no contenga el nmero z es la razn por la que

hemos eliminado z2 de A1 y A2 para construir A3.

Continuando con el mtodo de demostracin directa, se debe

intentar volver a escribir A3 para que se parezca ms a B2. Por
ejemplo

A4: x2 2xy y2 0, que factorizndola da A5: (x y)2 0.

El mtodo de demostracin directa no ha dado una respuesta a la

pregunta clave que habamos asociado con B2: Cmo se puede
demostrar que la diferencia de dos nmeros reales es cero?, que,
en este caso, sera demostrando que el cuadrado de su diferencia
es cero.

Normalmente se mezcla los dos mtodos vistos.

Proposiciones Justificaciones

z2
A: rea de XYZ es Dado
4

10
 xy z 2 base altura
A1: rea
2 4 2

A2: x2 y2 z2 Teorema de Pitgoras

xy x 2 y 2
A3: De A2 y A1
2 4

A4: x2 2xy y2 0 De A3

A5: (x y)2 0 Factorizando A4

B2: x y 0. De A5

B1 : x y De B2

B: XYZ es issceles De B1

1.2 DEMOSTRACIN POR EL PRINCIPIO DE INDUCCIN MATEMTICA.

La induccin matemtica es un mtodo de demostracin que se

utiliza cuando se trata de establecer la veracidad de una lista
infinita de proposiciones. El mtodo es bastante natural para
usarse en una variedad de situaciones en la ciencia de la
computacin. Algunas aplicaciones tienen un sabor muy matemtico,
tal como verificar que todo entero positivo satisface cierta
frmula. Otra utilizacin frecuente es la de demostrar que un
programa de computacin o que un algoritmo con ciclos funciona
como se espera.

Ejemplo 1:

Sea P una propiedad definida en los nmeros naturales (enteros

positivos). Si 1 satisface esa propiedad y adems si a partir de
cualquier natural n que satisface esa propiedad se llega a que

11
n+1, tambin la satisface, entonces cada nmero natural la
satisface.

Para probar que una propiedad P se cumple en los nmeros

naturales, usando el principio de induccin matemtica, se
siguen los siguientes pasos:

1) Se comprueba para n=1 Comprobacin).

2) Se asume que se cumple para n=k (Hiptesis de induccin)
3) Se predice que se cumple para n=k +1(Tesis)
4) Se demuestra que si se cumple para n=k, entonces se cumple
para n=k +1(Demostracin) .
Observacin: En algunos casos la propiedad se cumple a partir de
un cierto natural m>1. Dada esa situacin, en el primer paso se
comprueba para n=m.
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 (Hiptesis de induccin).
c) Sea n = k + 1, entonces:
(k + 1) (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 (Por hiptesis de
induccin).
2(k + 1) es divisible por 2 (Entero par).
Por lo tanto (k+1) (k+2) es divisible por 2.
Ejemplo 2:

2 n 2 n
Si n es un entero positivo, entonces a b es divisible por
a+b.

12
 a) Sea n=1, entonces:

a2nb2 n=a2b2=(a+ b) (ab) (Verdadero).

b) Sea n=k, entonces:

2 k
a b2k es divisible por a+b (Hiptesis de induccin).

c) Sea n = k+1, entonces: a2 (k + 1)

b2 (k+1)
es divisible por a+b
(Tesis).

d) Demostracin:

a2 k
b 2 k
es divisible por a+b (Por hiptesis de induccin)
a2(a 2 k
b 2 k
) es divisible por a + b.

2 k 2 2
b (a b ) es divisible por a + b.

2 2 k 2 k
a (a b )+b2k (a2 b 2)
es divisible por a + b

2 k + 2
a a2 b 2 k
+ b 2 k
a 2
b2k +2
es divisible
por a + b

Por lo tanto a2 (k + 1)
b2 (k + 1)
es divisible
por a + b

LEYES DE INFERENCIA LGICA

2.1 MODUS PONENDO PONENS Y MODUS TOLLENDO TOLLENS.

El modus Ponendo Ponen (MPP) y Tollendo Tollen (MTT) son

clasificados como reglas de inferencia, que son utilizadas
continuamente en el lenguaje natural. Las usamos para obtener
conclusiones que consideramos normalmente vlidas.

13
 2.1.1 MODUS PONENDO PONENS.

El modus Ponendo Ponens (en latn, modo que afirmando afirma),

tambin llamado modus ponens y generalmente abreviado MPP o MP,
es una regla de inferencia que tiene la siguiente forma:

Si A, entonces B
A
Por lo tanto, B

Ejemplo 1:

Si son las 6 AM, entonces ya amaneci.

Son las 6 AM.

Por lo tanto, Ya amaneci

Ejemplo 2:

Si termino las actividades del curso de pensamiento lgico,

entonces apruebo el curso de pensamiento lgico.

Termine las actividades del curso de pensamiento lgico.

Por lo tanto aprob el curso de pensamiento lgico.

2.1.2 MODUS TOLLENDO TOLLENS.

El modus tollendo tollens (en latn, modo que negando niega),

tambin llamado modus tollens y generalmente abreviado MTT o MT,
es una regla de inferencia que tiene la siguiente forma:

si A entonces B
No B
Por lo tanto, no A

Ejemplo 1:

14
Si son las 6 AM, entonces amaneci.
No son las 6 AM.
Por lo tanto, no amaneci.

Ejemplo 2:

Si termino todas las materias de Ingeniera, entonces me gradu

como Ingeniero de la UNAD.

No termino todas las materias de Ingeniera.

Por lo tanto no me gradu como Ingeniero de la UNAD

2.2 SIMPLIFICACIN Y LEY DE LA CONJUNCIN

2.2.1 SIMPLIFICACIN DISYUNTIVA (SD)

Si disponemos de dos premisas que correspondan a dos

implicaciones con el mismo consecuente, y sus antecedentes se
corresponden con los dos miembros de una disyuncin, podemos
concluir con el consecuente de ambas implicaciones.

Ejemplo:

p V q "Helado de fresa o helado de vainilla"

pr "Si tomas helado de fresa, entonces repites"

qr "Si tomas helado de vainilla, entonces repites"

r "Luego, repites"

2.2.2 LEY DE LA CONJUNCIN

La conjuncin es un operador que opera sobre dos valores de

verdad, tpicamente los valores de verdad de dos proposiciones,
devolviendo el valor de verdad verdadero cuando ambas

15
proposiciones son verdaderas, y falso en cualquier otro caso. Es
decir es verdadera cuando ambas son verdaderas.

p ^ q (se lee: p y q)

Ejemplos:

p = El numero 4 es par

q =Siempre el residuo de los nmeros pares es

2

Entonces

p^q: El numero 4 es par y Siempre el residuo de los nmeros

pares es 2

p = El nmero ms grande es el 34

q =El tringulo tiene 3 lados

Entonces

p^q: El nmero ms grande es el 34 y El tringulo tiene 3 lados

16
 2. PLANTEAMIENTO DE PROBLEMA INDIVIDUAL

RAZONAMIENTOS LGICOS, INFERENCIA LGICA Y ARGUMENTOS LGICOS

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:

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.

Solucin:

p: esta caluroso el da

q: consultar la tarea en el edificio de la biblioteca

r: hacer la consulta por el portal virtual

s: descargar el libro en PDF

(p->q)

(~q->r)

(r->s)

17
 ->s

{(p->q) (~q->r)(r->s)} ->s

ANALISIS POR TABALA DE VERDAD

{(p->q)(~q->r)(r->s)} ->s

4 Proposiciones 16 Filas

parte
parte 1
2 parte 3 parte 4 parte 5 final
r- (p->q) {(p->q)(~q- {(p->q)(~q-
p q r s ~q p->q ~q->r
>s (~q->r) >r)(r->s)} >r)(r->s)} ->s
v v v v f v v v v v v
v v v f f v v f v f v
v v f v f v v v v v v
v v f f f v v v v v f
v f v v v f v v f f v
v f v f v f v f f f v
v f f v v f f v f f v
v f f f v f f v f f v
f v v v f v v v v v v
f v v f f v v f v f v
f v f v f v v v v v v
f v f f f v v v v v f
f f v v v v v v v v v
f f v f v v v f v f v
f f f v v v f v f f v
f f f f v v f v f f v

18
Luego de evaluar el argumento en la tabla de verdad se
determina que el resultado es falso debido a que dio una
contingencia.

Se escribe el anlisis lgico obtenido en el simulador TRUTH

para comprobar la tabla de verdad realizada anteriormente.

19
 ANALISIS POR LEYES DE INFERENCIA

P1: p->q

P2: ~q->r

P3: r->s

P4: ~q->s (SH 2,3) ( no es posible llegar a la conclusin

por que no es una tautologa)

_______________________________________________________________

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.

Paso 1

Premisa 1: Bibiana aprueba el periodo acadmico

Premisa 2: Johanna y Santiago sus hermanos se enojan con ella

Premisa 3: Si no aprueba el periodo acadmico

Premisa 4: pierde los beneficios de la beca

Premisa 5: Bibiana aprueba el periodo acadmico o no lo aprueba

Conclusin: Pierde los beneficios de la beca

20
Paso 2

p: Bibiana aprueba el periodo acadmico

q: Johanna y Santiago sus hermanos se enojan

r: si o no aprueba el periodo acadmico

S: pierde los beneficios de la beca

t: Bibiana aprueba el periodo acadmico o no lo aprueba

PROCEDIMIENTO Paso 3

Premisa 1: ~p~q

Premisa 2: p

Premisa 3: r s

Premisa 4: s t

Conclusin: t

Paso 4

[(~p&~q)&p&(r>s)&(s>t)]>t

21
 Paso 1 Paso 2 Paso 3 Conclusin
p q r s t ~p ~q ~p&~q p r>s s>t (~p&~q)&p&(r>s)&(s>t) [(~p&~q)&p&(r>s)&(s>t)]>t
v v v v v f f f v v v f v
v v v v f f f f v v f f v
v v v f f f f f v f v f v
v v f v v f f f v f f f v
v v f v f f f f v v v f v
v v f f f f f f v v v f v
v f v v v v v v v v f v v
v f v v f v v v v v f f v
v f f v v v v v v v v f v
v f f v f v v v v f v f v
v f f f f v v v v f v v v
f v v v v f v v f v v v v
f v v v f f v v f v f f v
f v v f v f v v f v v f v
f v f v v f v v f v v f v
f v f f v v v v v f v f v
f v f f f v v v v f v f v
f f v v v v v v v v v f v
f f f v v v v v v f f f v
f f f f f v v v v v v f v
f f f v f v v v v v v f v

Paso 5 revision de Tabla

22
23
 4. SITUACIN PROBLEMTICA GRUPAL

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 disciplinado en mis estudios.

q= entrego mis aportes significativos a tiempo.
r= resuelvo mis inquietudes del tema con mi tutor.
s= me dedico a rumbera, pasear.
t= en la noches veo video-tutoriales del tema.

p1= p-(qr)
p2= s-~q
p3= t-~r
p4= pt
Conclusin= q

{(p-(qr)( s-~q)( t-~r)( pt)}-q

24
 ANALISIS POR TABALA DE VERDAD
{(p-(qr))( s-~q)( t-~r)( pt)}-q
5 Proposiciones 32 Filas

Luego de evaluar el argumento en la tabla de verdad se evidencia

que es una tautologa, por lo tanto el razonamiento es vlido.

25
Se escribe el anlisis lgico obtenido en el simulador TRUTH para
comprobar la tabla de verdad realizada anteriormente.

26
 ANALISIS POR LEYES DE INFERENCIA

p1= p-(qr)
p2= s-~q
p3= t-~r
p4= pt
_________________________
5. t Simp (4)
6. p Simp (4)
7. ~r MPP (3), (5)
8. qr MPP (1),(6)
9. q SD (7),(8) conclusin

27
 CONCLUSIONES

Como resultado Mediante el estudio de los conceptos y ejemplos

realizados, tenemos en cuenta que los diferentes razonamientos
lgicos, darn un anlisis mediante pasos, los cuales nos guiaran
a una respuesta sea negativa o verdadera.

Cada problema presentado, expresa el conocimiento adquirido y la

colocacin en prctica de las alternativas lgicas que nos rodean
a diario.

28
 BIBLIOGRAFA

- Extrado el 9 de mayo de 2016

http://www.mitecnologico.com/Main/InferenciaLogica
-
- Extrado el 12 de Mayo de 2016
http://universologico.blogspot.com.co/p/tablas-de-
verdad.html
-

29