Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Trabajo Final - Pensamiento Logico
Trabajo Final - Pensamiento Logico
Trabajo Final - Pensamiento Logico
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
1.
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
Hiptesis
2. q
Simplificacin
3. p => q
4. p => q
5. p
Contra reciproco
Modus Ponens
Hioptesis Indirecto
2. (pq) q Hiptesis
3. pq
Simplificacin
4. q
5 q
Eliminacin de la falsa
2.
pq
p
q
pq
q
p
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
V
V
V
V
V
F
V
F
V
V
F
F
V
F
V
F
Parte 5
Parte 6
(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