FASE INDIVIDUAL USO DE LAS LEYES DE INFERENCIA UNIDAD 3

VIVIANA ANDREA FLOREZ ROSAS 46385136

GRUPO COLABORATIVO :200611_21

Trabajo presentado al profesor:

ALVARO JAVIER ROJAS BARACALDO
PENSAMIENTO LGICO Y MATEMATICO

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

PSICOLOGIA
CEAD SOGAMOSO
2017

PENSAMIENTO LOGICO Y MATEMATICO PASO 3

pg. 1
 OBJETIVO PRINCIPAL

Conocer e identificar en forma clara las reglas de inferencia lgica por induccin y deduccin
en formulaciones y demostraciones de razonamientos vlidos en situaciones especficas.

OBJETIVOS ESPECIFICOS

*Desarrollar mi capacidad de razonamiento y anlisis lgico frente los procesos de

demostracin lgica y la clasificacin en directas e indirectas.

*Identificar los diferentes tipos de leyes de inferencia lgica y sus respectivas

representaciones en las tablas de verdad

PENSAMIENTO LOGICO Y MATEMATICO PASO 3

pg. 2
 INTRODUCCION

Desarrollando las fases propuestas en la gua de trabajo, pude implementar mis capacidades
para poder dar solucin y cumplir con los requerimientos exigidos, en este trabajo se expresan
con conceptos y ejemplo el tema mtodo por contraejemplo, en la segunda fase se puede
apreciar mediante la definicin y ejemplos el tema Silogismo Hipottico y Silogismo
Disyuntivo y en la tercera fase se puede representar el desarrollo del problema perteneciente
al anexo 1.

PENSAMIENTO LOGICO Y MATEMATICO PASO 3

pg. 3
 PRIMERA FASE
METODO POR CONTRAEJEMPLO
El mtodo por contraejemplo Segn la pgina
(http://newton.matem.unam.mx/comunidades/Logica/l_logica11_d.html) se aplica
de manera muy particular para demostrar la falsedad de una proposicin cuya hiptesis
est construida mediante un "cuantificador universal". Esto quiere decir, 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.

El uso del contraejemplo, 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:

PENSAMIENTO LOGICO Y MATEMATICO PASO 3

pg. 4
 Ms ejemplos:
generalizacin
A todos los Mexicanos les gusta el tequila
Todos los libros son aburridos
Ningn mamfero vive en el mar
Contraejemplo
Joaqun es Mexicano y no le gusta el tequila.
El club de la pelea es un libro muy
interesante
Las ballenas son mamferos y viven en el
mar

SEGUNDA FASE

SILOGISMO HIPOTETICO SILOGISMO DISYUNTIVO

Segn la pgina (/es.wikipedia.org/wiki/Silogismo hipottico) el silogismo hipottico es

una forma de argumento vlido que consiste en un silogismo con una sentencia
condicional para una o ambas de sus premisas. En la lgica proposicional, el silogismo
hipottico es una regla de inferencia vlida (llamado tambin argumento cadena, regla de
cadena, o el principio de transitividad de la implicacin, y a veces abreviado SH).

El silogismo hipottico se puede escribir formalmente como:

p q Se lee: si p entonces q
q r Se lee: si q entonces r
\ p r Se lee: de donde si p entonces r
Ejemplos 1:

Premisa 1. Si el agua se hiela, entonces sus molculas forman cristales.

Premisa 2. Si las molculas forman cristales, entonces el agua aumenta de
Volumen.
Conclusin. Si el agua se hiela, entonces el agua aumenta de volumen.

Simblicamente:

PENSAMIENTO LOGICO Y MATEMATICO PASO 3

pg. 5
p: El agua se hiela
q: Sus molculas forman cristales
r: El agua aumenta de volumen

Ejemplo 2:

Un ejemplo de silogismo hipottico es:

Premisa 1 Si no me despierto, entonces no voy a ir a trabajar.
Premisa 2 Si no voy a trabajar, entonces no me pagan mi sueldo
Conclusin Por lo tanto, si no me despierto, entonces no me van a pagar mi sueldo.

Simblicamente:

P Si no me despierto, entonces no voy a ir a trabajar.

q Si no voy a trabajar, entonces no me pagan mi sueldo.
r Por lo tanto, si no me despierto, entonces no me van a pagar mi sueldo.

SILOGISMO DISYUNTIVO: Si una disyuncin es verdadera y una de sus proposiciones

simples es falsa, entonces necesariamente la otra proposicin ser verdadera.

Su expresin simblica es:

pq
~p
\q
Ejemplo 3:
Premisa 1: la energa interna de un tomo puede cambiar con continuidad o
Cambia slo a saltos.

PENSAMIENTO LOGICO Y MATEMATICO PASO 3

pg. 6
Premisa 2: La energa interna de un tomo no puede cambiar con continuidad
Conclusin: La energa interna de un tomo cambia slo a saltos.

Simblicamente:

p: La energa de un tomo puede cambiar con continuidad

q: La energa de un tomo slo cambia a saltos

Premisa 1: p v q
Premisa 2: ~ p
Conclusin: p
TERCERA FASE
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.

Declaracin de las proposiciones simples:

P: Si el cliente de Juan gana la apelacin

Q: Mara se retira del buffet de abogados
R: Si y solo si Alberto el cliente de Juan no es llevado a prisin.
Declaracin de las premisas compuestas en lenguaje natural:
Premisa 1: Si el cliente de Juan gana la apelacin, entonces Mara se retira del buffet de
abogados.

PENSAMIENTO LOGICO Y MATEMATICO PASO 3

pg. 7
Premisa 2: Mara se retira del buffet de abogados si y solo si Alberto el cliente de Juan no
es llevado a prisin.
Conclusin: Si el cliente de Juan gana la apelacin, entonces no es llevado a prisin.

Declaracin de las premisas en lenguaje formal:

Premisa 1 (pq)
Premisa 2 (q~r)
Premisa 3 (pr)
Conclusin (p~r)

Demostracin Tabla de Verdad

[(pq) (q~r) (pr)] (p~r)

El razonamiento es vlido y es una Tautologa ya que se encuentran verdaderos

todas las proposiciones.

PENSAMIENTO LOGICO Y MATEMATICO PASO 3

pg. 8
 CONCLUSIONES

Gracias a la elaboracin de este trabajo pude conceptualizar, analizar y argumentar de forma

adecuada los procedimientos desde la lgica proposicional. Fue muy intersate ver la utilidad
del anlisis lgico frente los procesos de demostracin lgica. Se logr identificar los
diferentes tipos de leyes de inferencia lgica y sus respectivas representaciones en las tablas
de verdad.

PENSAMIENTO LOGICO Y MATEMATICO PASO 3

pg. 9
 BIBLIOGRAFIA
Rodrguez, V. R. (2013). "... El ser humano vive inmerso en la naturaleza". ProQuest
(Ed).Conjuntos numricos, estructuras algebraicas y fundamentos de lgebra lineal.
Volumen I: conjuntos numricos, complementos. (pp. 17-29). Madrid, Espaa: Editorial
Tbar Flores. Recuperado
de:http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=18&docID=1099
5629&tm=1489710145734
scar J. Gmez [scar J. Gmez]. (2017 Marzo 01). [Motivacin Conceptual Inferencia
Lgica]. Recuperado de: http://hdl.handle.net/10596/11541
Zazueta B. L. Clix L. C. (2008). "Qu es una tabla de verdad?" Lgica II. Primera Edicin.
(pp. 91 197). Mxico D.F., Mxico: Universidad Autnoma de Sinaloa. Recuperado
de: https://mega.nz/#!qNk2RRbZ!Z3Mlp2KoEr797vwAqovNMH9h2x8UQHsFqU8Ruqhs
S1E

PENSAMIENTO LOGICO Y MATEMATICO PASO 3

pg. 10