Documentos de Académico
Documentos de Profesional
Documentos de Cultura
WEBCONFERENCE
CURSO 90004_Lgica Matemtica
Tutor:
Omar Arley Arenas Quimbayo
Director:
Javier Ernesto Rodrguez Hernndez
Ibagu Martes 15 de Noviembre de 2016
LEYES DE INFERENCIA
Existen una serie de tautologas que
combinadas entre si nos permite
realizar deducciones formales para
probar la validez de un argumento, las
cuales tienen nombres y estructuras
predeterminadas de conformidad con
los esquemas del pensamiento lgico
del ser humano.
Representada
v
v
f
f
v
f
v
v
v v
f f
v f
f f
v v
v v
f
v
f v
v
f
v
f
Representando
el argumento en
lgebra de proposiciones, tiene la
siguiente forma simblica
1. Premisa
2.
Premisa
___________________________________
C.
Conclusin aplicando a 1 y 2 la
regla PP
Ejemplo
Si llueve, entonces las calles se mojan. Esta lloviendo. Conclusin las
calles se mojan.
v
f
v
v
v f
f f
v f
f v
f
v
f
v
v
v
v
v
f
f
v
v
Representando
el argumento en
lgebra de proposiciones, tiene la
siguiente forma simblica
1. Premisa
2.
Premisa
___________________________________
C.
Conclusin aplicando a 1 y 2 la
regla TT
Ejemplo:
Premisa 1
Premisa 2
___________________________________
C.
Conclusin aplicando a la regla TT en 1 y 2
Ley de Adjuncin
Se representa abreviadamente por la
sigla A. Si disponemos de dos
enunciados afirmados como dos
premisas separadas, mediante la
adjuncin, podemos unirlos en una
sola premisa utilizando el operador
(conjuncin).
Representada
v
f
f
f
v v
f v
v v
f v
v
v
f
f
v
v
v
v
v
f
v
f
Representando
el argumento en
lgebra de proposiciones, tiene la
siguiente forma simblica
1. Premisa
2. Premisa
___________________________________
C.
Aplicando a 1 y 2 la ley A
Ejemplo:
Carlos es el padre de Mayra. Carlos es el padre de Jos.
Conclusin, Carlos es el padre de Mayra y Jos.
Premisa 1
Premisa 2
___________________________________
C.
Conclusin aplicando la ley A en 1 y 2
Ley de simplificacin
Se representa abreviadamente por la
sigla S. se presenta un estructura en
donde si disponemos de un enunciado
formado por dos miembros unidos por
una conjuncin, se puede concluir uno
de los trminos que lo conforman
Representada
v
v
f
f
v
f
f
f
v v
f v
v v
f v
v
f
v
f
Tambin
podemos hacer de los juicios dos premisas
por separado.
Representado el argumento en lgebra de
proposiciones, tiene la siguiente forma simblica
1. Premisa
___________________________________
C.
Conclusin, Aplicando a 1 la ley S
Tambin puede concluirse solamente
Representada
la ley como estructura
v v v
v v f
f v v
f f f
f
f
v
f
f
f
v
v
v
v
v
v
v
f
v
f
Representando
el argumento en lgebra de proposiciones,
tiene la siguiente forma simblica
1. Premisa
2.
Premisa
___________________________________
C.
Conclusin aplicando a 1 y 2 la regla TP
1. Premisa
2.
Premisa
___________________________________
C. p
Conclusin aplicando a 1 y 2 la regla TP
Ejemplo:
Johann es jugador de futbol o jugador de bisbol. Johann es
jugador de futbol. Conclusin Johann no es jugador de bisbol.
Premisa 1
q
Premisa 2
___________________________________
C.
Conclusin aplicando a 1 y 2 la regla TP
Representando
el argumento en lgebra de proposiciones,
tiene las siguientes formas simblicas
1. Premisa
2.
Premisa
___________________________________
C.
Conclusin aplicando a 1 y 2 la regla PT
1. Premisa
2.
Premisa
___________________________________
C.
Conclusin aplicando a 1 y 2 la regla PT
Ejemplo:
Alejandro
Premisa 1
Premisa 2
___________________________________
C.
Conclusin aplicando a 1 y 2 la regla PT
Ley de la Adicin
Se representa abreviadamente por la
sigla
LA.
Dado
un
enunciado
cualquiera, es posible expresarlo como
una
eleccin
(disyuncin)
acompaado por cualquier otro juicio.
Puede
analizarse la ley como un argumento donde
conocido un juicio como premisa puede concluirse, este
juicio con la disyuncin de otro.
Representado al argumento en lgebra de proposiciones,
tiene la siguiente forma.
1. premisa
___________________________________
C.
Conclusin aplicando a 1 LA
Ejemplo:
Liliana es gerente de un almacn de cadena.
Conclusin, Liliana es gerente de un almacn de
cadena o administradora de una tienda.
premisa 1
___________________________________
C.
Conclusin aplicando a 1 LA
el argumento en lgebra
Representando
1. Premisa
2.
Premisa
___________________________________
C.
Conclusin aplicando a 1 y 2 la ley
SH
Ejemplo:
Si la lluvia supera los limites de mm de lluvia por metro cuadrado,
entonces se crece el caudal de los ros. Si se crece el caudal de los ros,
se presentan inundaciones. Conclusin, Si la lluvia supera los limites de
mm de lluvia por metro cuadrado, se presentan inundaciones.
Premisa 1
Premisa 2
___________________________________
C.
Conclusin aplicando a 1 y 2 la ley SH
el argumento en lgebra de
Representando
1.
Premisa
2.
Premisa
3.
Premisa
___________________________________
C.
Conclusin aplicando a 1,2 y 3 la ley SD
Ejemplo:
Premisa 1
Premisa 2
Premisa 3
___________________________________
C.
Conclusin aplicando a 1,2 y 3 la ley SD
Ejemplo:
Johann el desarrollo de su tesis para obtener el
titulo de ingeniero plantea la siguiente cita
bibliogrfica : Si se realiza un excelente
manejo de frio en la fruta, el proceso
organolptico se detiene. Si avanzan los
estudios de manejo de poscosecha, las
expectativas de conservacin del fruta sern
mayores. Si las expectativas de conservacin del
fruta sern mayores y el proceso organolptico se
detiene, entonces la sociedad podr contar con
una mayor seguridad alimentaria. Actualmente
se ha intensificado el maneo de la cadena de frio en
los productos agrcolas y se avanzan en los estudios
Proposiciones
1 Premisa 1
2 Premisa 2
3 Premisa 3
4
Conclusin
5 Simplificacin en 4
6 Simplificacin en 4
7 Ponendo Ponens en 5 y 1
8 Ponendo Ponens en 6 y 2
9 Adjuncin 7 y 8
GRACIAS POR SU
ATENCIN