Pensamiento Lgico y Matemtico

Pensamiento Lgico y Matemtico: Uso de las Reglas de Inferencia.

Jorge luis ruiz

Universidad Nacional Abierta y a Distancia _ UNAD

Facultad Escuela de Ciencias Sociales, Artes y Humanidades (ECSAH).

Programa: Psicologa. Grupo: 200611_109.

2017
 Pensamiento Lgico y Matemtico
Demostracin por contraposicin.

Tambin conocida o llamada como supongamos que no. La lgica establece que toda

contraposicin es equivalente a su contrapositiva. La contrapositiva de p => q es ~p => ~q y

ambas son equivalentes.

Ejemplo 1:

Sea x un entero. Probar si x2 es par entonces x es par.

El esquema lgico sera:

x2 es par => x es par.

Se probara x no es par => x2

Si x no es par entonces x es impar, por lo tanto seria:

X= 2t+1 para algn entero.

Entonces:

x2 = (2t+1)2 = 4t+4t+1=2(2t+2) +1= 2s+1.

Por lo tanto se concluye que no es par.

Ejemplo 2:
 Pensamiento Lgico y Matemtico
La implicacin x=1 => x2 = 1 es cierta.

Por tanto su contrapositiva x2 1 => x 1 es tambin cierta.

Sin embargo su reciproca x2 = 1 es cierta, no se puede afirmar que x= 1.

Se puede probar una implicacin probando en su lugar su contrapositiva.

Ejemplo 3:

Si a2 es par entonces a es par.

a es impar => a= 2n+1 =>

a2 = (2n+1)2 = 4n2 +4n + 1= 2(2n2+2n+1)= 2m+1.

Se concluye que no es par.

Ejemplo 4:

Si a +c <b + c entonces a <b

a b => a b 0

a+ccb0

a + c (c + b) 0

a+c b+c

Ley de conjuncin.
 Pensamiento Lgico y Matemtico
Si disponemos de dos enunciados afirmados como dos premisas separadas, mediante la

adjuncin, podemos unirlos en una sola premisa utilizando el operador (conjuncin).

p
q
pq
Ejemplo1:

p: Jos es taxista (premisa)

q: Manuel es periodista. (Premisa)

p^q Jos es taxista y Manuel es periodista. (Conclusin)

Ejemplo2:

rs (premisa)

tv (premisa)

(r s) ^ ( t v) (conclusin)

Ejemplo3:

m: Cinco es mayor que tres (premisa)

n: Tres es menor que cuatro (premisa)

m ^n : Cinco es mayor que tres y tres es menor que cuatro (conclusin)

Ley de simplificacin.
 Pensamiento Lgico y Matemtico
Es la operacin inversa. Si disponemos de un enunciado formado por dos miembros unidos por

una conjuncin, podemos hacer de los dos miembros dos enunciados afirmados por separado.

pq (p q) => p
p

Ejemplo 1:

m n: tengo un perro y tengo un gato.

m: tengo un perro.

n: tengo un gato.

Ejemplo 2:

r t: Bogot es la capital de Colombia y Montera es la capital de Crdoba

r: Bogot es la capital de Colombia.

t: Montera es la capital de Crdoba.

Ejemplo 3:
 Pensamiento Lgico y Matemtico
Simplificar la siguiente proposicin.

(q => p) ^ (~p => q) ^ (q => q) <=> p

<=> (~q p) ^ (p q) ^ (~q q)

<=> (~q p) ^ (p q) ^ v

<=> (~q p) ^ (p q)

<=> (p ~q) ^ (p q)

<=> p (~q q)

<=> p f

<=> p

Ejemplo 4: simplificar la siguiente proposicin aplicando las leyes de algebra proposicional

(p => ~q) ^ ~ (~q =>p) . p => q = ~p q ley condicional

(~p ~q) ^ ~ (q p) .~ (p q) = ~p ^ ~q ley de Morgan.

(~p ~q) ^ (~q ^ ~p).p ^ ( q ^ r) = p ^ q ^ r ley asociativa

(~p ~q) ^ ~q ^ ~p . p ^ (p ^ q) = p ley de absorcin

~q ^ ~p. p ^ q = q ^ p ley conmutativa

~q ^ ~p
 Pensamiento Lgico y Matemtico
Situacin problemtica escogida del anexo 1.

En la ciudad de Pereira se ha creado un buffet de abogados entre cuatro amigos, del cual Juan

Arroyo y Mara Aguirre hacen parte; en cierta ocasin se gener una discordia laboral por

diferentes puntos de vista en el proceso de acompaamiento legal a una persona sindicada de

varios delitos; Juan ha asumido la defensa de Alberto quien es la fuente de discordia con Mara.

Mara ha decidido tomar acciones radicales frente a lo ocurrido con Juan: Si el cliente de Juan

gana la apelacin, entonces Mara se retira del buffet de abogados. Mara se retira del buffet de

abogados si y slo si Alberto el cliente de Juan no es llevado a prisin. Por lo tanto, si el cliente

de Juan gana la apelacin, entonces no es llevado a prisin. Determinar con el uso de las dos

formas de la tabla de verdad la validez del razonamiento que hace Mara y hacerlo tambin con el

uso de las leyes de inferencia.

Premisas:

1. r: el cliente de Juan gana la apelacin

2. s: Mara se retira del buffet de abogados.
3. o: Alberto es llevado a prisin.

Lenguaje simblico:

[( r => s) ^ ( s <=> ~o) ^ r] => ~o

 Pensamiento Lgico y Matemtico

Tabla de verdad.

r s o ~o ( r => s) ( s <=> ~o) ( s <=> ~o) ^ r ( r => s) ^ [( r => s) ^ ( s <=> ~o) [( r => s) ^ ( s <=> ~o) ^ r] => ~o

( s <=> ~o) ^ r]
V V V F V F F F F V
V V F V V V V V V V
V F V F F V V F F V
V F F V F F F F F V
F V V F V F F F F V
F V F V V V F V F V
F F V F V V F V F V
F F F V V F F F F V
 Pensamiento Lgico y Matemtico

Pantallazo de prueba acerca del simulador truth

Aplicacin de las leyes de inferencia.

Las leyes que aplique en este problema fueron:

Silogismo Hipottico (HS) Modus Ponendo Ponens (PP)

r => s r => ~o
s => ~o r
r ~o
.
~o

Por lo tanto se concluye que el razonamiento es valido.