1

RAZONAMIENTO LOGICO, LEYES DE INFERENCIA

FERNANDO GUTIERREZ GOMEZ

Pensamiento lgico y matemtico

Universidad Nacional Abierta y a Distancia

Economa

Bogot, 24 de julio de 2016

CONTENIDO

Introduccin.3
Objetivos generales y especficos....4
1. Demostracin Directa e Indirecta
1.1 La demostracin.....5
1.2 La demostracin Directa. Ejemplo5
1.3 La demostracin Indirecta. Ejemplo..6
2. Modus ponendo ponens y Modus Tollendo Tollens
2.1 Modus ponendo ponens. Ejemplo..6
2.2 Modus Tollendo Tollens7
3. Ejercicio a desarrollar
3.1 Problema7
3.2 Solucin.8
3.3 Tabla de Verdad.8
3.4 Reglas de Inferencia...8
Conclusiones...9
Bibliografa..9

INTRODUCCION

El presente trabajo dar a conocer algunas reglas de inferencias las cuales usamos para obtener
conclusiones que consideramos normalmente vlidas. Lo que haremos ahora, es detenernos a
analizar porqu consideramos a estas inferencias vlidas, aprenderemos que al construir la tabla
de verdad de la inferencia lgica se puede determinar la validez de la misma, a la vez que
aprenders a identificar las diferentes inferencias lgicas en los razonamientos que hacemos
continuamente.
Tambin Podrs identificar una inferencia lgica y el clasificarla como vlida o no mediante la
construccin de la tabla de verdad.

OBJETIVOS GENERALES

Aprender y diferenciar las reglas de inferencia lgica, para poderlas aplicar en la solucin del
problema propuesto en la gua de trabajo colaborativo tres.

OBJETIVOS ESPECIFICOS

Entender las reglas de la inferencia lgica,

Comprender la aplicacin de las reglas de inferencia lgica para la demostracin de
soluciones.
Aplicar las leyes de la inferencia lgica para relacionarlas con casos de la vida real.
Analizar las premisas que integran un problema, para disear la estrategia de solucin,
aplicando las reglas de inferencia para llegar a la demostracin solicitada
Aplicar las proposiciones en el trabajo de las reglas de inferencia lgica.

1.

DEMOSTRACIN DIRECTA E INDIRECTA

1.1 La demostracin.
La demostracin es un razonamiento que prueba la validez de un nuevo conocimiento; es el
enlace entre los conocimientos recin adquiridos y los conocimientos anteriores. Los
procedimientos de demostracin permiten establecer la conexin lgica entre las proposiciones
fundamentales de la teora, sus consecuencias sucesivas, hasta deducir la conclusin o tesis que
as se demuestra.
1.2 La demostracin Directa.
La demostracin directa de una proposicin t (teorema) es un conjunto de proposiciones o
premisas que son postulados o proposiciones de validez aceptada y de las cuales se infiere t como
consecuencia inmediata.
1.2.1 Ejemplo
Hiptesis

Tesis

[q (p => q)] => p

1. [q (p => q)]

Hiptesis

2. q
Simplificacin

3. p => q
4. p => q
5. p

Contra reciproco
Modus Ponens

1.3 La 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.
1.3.1 Ejemplo
[(pq) q] => p
1. q

Hioptesis Indirecto

2. (pq) q Hiptesis
3. pq
Simplificacin

4. q
5 q

Eliminacin de la falsa

2.

MODUS PONENDO PONENS Y MODUS TOLLENDO TOLLENS

2.1 Modus ponendo ponens.

Es aquella operacin que establece entre dos enunciados una relacin de Causa-Efecto. La regla
significa afirmando afirmo y en una condicional establece, que si el antecedente (primer
trmino P) se afirma el consecuente (segundo trmino Q).

2.1.1 Ejemplo (MPP).

pq
p
q

si llueve, entonces las calles se mojan (Premisa)

Llueve
(Premisa)
luego, las calles se mojan
(conclusin)

2.2 Modus Tollendo Tollens

Es una propiedad inversa de los condicionales. Su significado es negando, niego. Si de una
condicional, aparece como premisa el consecuente negado (el efecto), eso nos conduce a negar el
antecedente (la causa), puesto que si un efecto no se da, su causa no ha podido darse.
2.2.1 Ejemplo (MTT).

pq
q
p

si llueve, entonces las calles se mojan

Las calles no se mojan
.
luego, no llueve

3. EJERCICIO A DESARROLLAR

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

3.2 Solucin.
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.
S = Pero, Bibiana aprueba el periodo acadmico o no lo aprueba
NOTA: La proposicin S es una redundancia y en la lgica las proposiciones deben ser
verdaderas o falsas, por lo tanto no se tiene en cuenta para la tabla de la verdad.
{(P => Q) ^ (~P => R) ^ (P ~P)} => (Q R)
3.3 Tabla de Verdad.
Parte 1

1
2
3
4
5
6
7
8

Parte 2

V
V
V
V
F
F
F
F

V
V
F
F
V
V
F
F

V
F
V
F
V
F
V
F

F
F
F
F
V
V
V
V

Parte 3

Parte 4

(P=>Q) ( P => R) (P => Q) ^ ( P => R)

V
V
F
F
V
V
V
V

V
V
V
V
V
F
V
F

V
V
F
F
V
F
V
F

3.4 Reglas de Inferencia.

P1: P => Q
P2: ~P => R
P3: P ~P
P4: Q R HS (Silogismo Disyuntivo) (3,1, 2) P ~P
P=>Q
~P=>R
QR

Parte 5

Parte 6

(Q R)

{(P => Q) ^ (~P => R)} => (Q R)

V
V
V
F
V
V
V
F

V
V
V
V
V
V
V
V

CONCLUSIONES

Las reglas de inferencia son esquemas para construir inferencias validas o conclusiones
vlidas.
En el ejercicio a desarrollar se demostr la validez del argumento suministrado en el
problema, con el uso de la tabla de verdad y las leyes de inferencia.

BIBLIOGRAFIA

https://vimeo.com/144228032
https://vimeo.com/145273309
http://datateca.unad.edu.co/contenidos/90004/Logica_matematica_90004_AVA_201501/Lectura-1.pdf
http://datateca.unad.edu.co/contenidos/551105/Modulo_exe_2013/leccin_24_demostracin_direct
a_e_indirecta.html