NOMBRE DEL TRABAJO

Razonamientos lgicos, inferencia lgica y

Argumentos lgicos (inductivos)

ESTUDIANTE
Juan Camilo Mendoza Maldonado

NMERO DE GRUPO
20611A_288

DOCENTE

DORIXY DE ARMAS DUARTE

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

HERRAMIENTAS DIGITALES PARA LA GESTIN DEL CONOCIMIENTO
SANTA MARTA - 2016

PRIMER APORTE
Demostracin por 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 cual 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:
A - B = B - A A, B conjuntos
a + b=a+b a, b reales
2
2
a, b reales y a = b a=b
_________________________________________________________________________
__________________________

Si

, entonces

No es verdadero para todos los nmeros reales p, q, y x.

Digamos que p = 1, q = 0 y x = 0.
Entonces

pero

, ya que la divisin entre 0 no est definida.

SEGUNDO APORTE
Simplificacin y ley de la conjuncin
La simplificacin de una fraccin consiste
equivalente ms simple.

en

transformarla

en

una fraccin

En la simplificacin de fracciones se divid de numerador y denominador por

un mismo nmero.
Se empieza a simplificar probando por los primeros nmeros primos: 2, 3, 5, 7,... Es
decir, probamos a dividir numerador y denominador entre 2 mientras se pueda,
despus pasamos al 3 y as sucesivamente.
Se repite el proceso hasta que no haya ms divisores comunes.

Si los trminos de la fraccin terminan en ceros, empezaremos quitando los ceros

comunes finales del numerador y denominador .

Si el nmero por el que dividimos es el mximo comn denominador del numerador

y denominador llegamos a una fraccin irreducible .

Ley de la conjuncin
Las conjunciones son enlaces con funcin coordinante y a veces, subordinantes. Estas
conjunciones tienen la caracterstica de ser invariables y se utilizan para enlazar oraciones.
Su uso se encuentra ligado a la suma de oraciones donde renen dos oraciones principales
con la finalidad de construir una tercera con sentido completo y complementacin lgica.
Hay distintos tipos de conjunciones y son:
Copulativas, disyuntivas, adversativas, consecutivas, causales y condicionales

Ejemplo de conjunciones:
a) Conjunciones Copulativas: y, e, ni
b) Conjunciones Disyuntivas: o, ya bien, sea
c) Conjunciones Adversativas: pero, mas, sino, sin embargo, empero
d) Conjunciones Consecutivas: luego, pues, conque, as que
e) Conjunciones Causales: porque, puesto que, ya que, pues
f) Conjunciones Condicionales: si, con tal que, siempre que, al menos qu.

Ejemplo de oraciones con conjunciones:

Disyuntivas
Comemos o cenamos, pero no las dos.
Vive sano, ya bien haciendo ejercicio o comiendo bien
Es grande o sea impresionante
Adversativa
Me gustas mas no puedo casarme contigo.
Tengo hambre, sin embargo tomar algo.
Consecutiva
Pienso, luego existo.
Te dejo pues ya no me quieres como antes.
Te llevo al partido con tal que dejes de llorar.
Copulativas
Carlos y Alberto fueron a comer.
Luis estudia francs e ingls
no quiero comer ni beber nada, gracias.
No se puede ni sacar ni meter esto.

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

[
(

Q ) ^

( ~ P

r ) ^

p )]

( q

v
v
f
f
v
v
f
f

v
f
v
f
v
f
v
f

Demostracin por tabla de verdad:

[(

v
v
v
v
f
f
f
f

v
v
f
f
v
v
v
v

V
V
F
F
V
V
F
F

) ^ ( ~ P

V
V
F
F
V
F
V
f

f
f
f
f
v
v
v
v

V
V
V
V
F
F
F
F

v
v
v
v
v
f
v
f

v
f
v
f
v
f
v
f

) ^ ( p

v
v
f
f
f
f
v
f

v
v
v
v
f
f
f
f

v
v
v
v
f
f
v
v

~ p )]

f
f
v
v
f
f
v
v

v
v
f
f
v
v
f
f

v
v
v
v
v
v
v
v

v
v
v
f
v
v
v
f

Demostracin por leyes de inferencia:

1. premisa. p
q
2. premisa. - p
r
3. premisa. p - p
4. P

Ley de simplificacin disyuntiva (3)

5. q

Ley ponendo ponems (1.4)

6. q v r

Ley de adiccin (5) Conclusin