ECBTI/ Lgica Matemtica

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.

 Modus Ponendo Ponens (Modo afirma

afirmando)
Se presenta en forma abreviada por la sigla PP.
Elcondicionaloimplicacines
aquella
operacin que establece entre dos enunciados
una relacin de causa-efecto. La regla ponendo
ponens significa, afirmando afirmo y en
uncondicionalestablece,
que
si
el
antecedente (primer trmino, en este casop) se
afirma,
necesariamente
se
afirma
el
consecuente (segundo trmino, en este casoq).

Representada

la regla como estructura

proposicional, tiene la siguiente forma.

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.

q: Las calles se mojan

Premisa 1
Premisa 2
_________________________
Conclusin aplicando PP

Modus Tollendo Tollens (Modo de

Afirmar Negando )
Se representa en forma abreviada por
la sigla TT. Tollendo tollens significa
negando, niego, y se refiere a una
propiedad inversa de los condicionales,
a los que nos referamos en primer
lugar.

la regla como estructura

Representa

proposicional tiene la siguiente forma.

p
v
v
f
f

v
f
v
v

v f
f f
v f
f v

f
v
f
v

v
v
v
v

f
f
v
v

Si de un 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.

Esto nos permite formular una regla combinada de las

ambas anteriores, consecuencia ambas de una misma
propiedad
de
la
implicacin;
la
reglaponendo
ponensslo nos permite afirmar si est afirmado el
antecedente (el primer trmino de la implicacin), y la
reglatollendo tollensslo nos permite negar a partir del
consecuente (segundo trmino de la implicacin); ambas
consecuencias se derivan de que la implicacin es una
flecha que apunta en un nico sentido, lo que hace que
slo se pueda afirmar a partir del antecedente y negar
slo a partir del consecuente.

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:

Si llueve, entonces las calles se mojan, luego, no

llueve. Conclusin. Las calles no se mojan.

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

la ley como estructura

proposicional tiene la siguiente forma.
v
v
f
f

v
f
f
f

v v
f v
v v
f v

v
v
f
f

v
v
v
v

v
f
v
f

Adicionalmente se pude determinar

como un argumento, en la cual las
primicias son juicios y la conjuncin es
las conclusin de los dos.

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

la ley como estructura

proposicional tiene la siguiente forma.

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

Modus Tollendo Ponens. (Modo de

negar afirmando)
Se representa abreviadamente por la
sigla TP. A partir de una estructura
lgica en la cual se presenta un
razonamiento de disyuncin, donde la
negacin (tollendo) uno de los juicios
de la disyuncin, se puede concluir la
afirmacin (ponens) del otro juicio.

Representada
la ley como estructura

proposicional tiene la siguiente forma.

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

Tambin puede analizarse como un

argumento con un juicio disyuntivo
como una premisa, donde conocida
una negacin de uno de los dos
trminos como otra premisa, se puede
concluirse la afirmacin del otro
termino

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

 Modus Ponendo Tollens (Modo

afirmar negando)
Se representa abreviadamente por la
sigla PT. A partir de una estructura
lgica en la cual se presenta un
razonamiento de disyuncin, se puede
concluir la negacin (ponens) de una
de las premisas.

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

es especialista en proyectos o especialista en pediatra.

Alejandro es especialista en proyectos. Conclusin, Alejando no es
especialista en pediatra.

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

Ley del silogismo hipottico

Se representa abreviadamente por la sigla
SH.Dados dos implicaciones, de las cuales, el
antecedente de la una sea el consecuente de la
otra (el mismo enunciado), podemos construir
una nueva implicacin cuyo antecedente sea el
de aquella implicacin cuya consecuencia sea
el antecedente de la otra implicacin, y cuyo
consecuente sea el de sta ltima, cuyo
antecedente era consecuencia del primero.

Expresado de otro modo, se presenta a

partir de dos juicios en la cual el
segundo juicios es la consecuencia del
primero, y a su ves esta consecuencia
es
causa
de
una
segunda
consecuencia, se puede decir que el
primer juicios es causa es de la
segunda consecuencia.

el argumento en lgebra
Representando

de proposiciones, tiene las siguientes

formas simblicas

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

Ley del silogismo Disyuntivo

Se representa abreviadamente por la sigla SD.
Dadas tres premisas, dos de ellas implicaciones, y la
tercera una disyuncin cuyos miembros sean los
antecedentes de los condicionales, podemos
concluir en una nueva premisa en forma de
disyuncin, cuyos miembros seran los consecuentes
de
las
dos
implicaciones.
Lgicamente,
si
planteamos una eleccin entre dos causas, podemos
plantear una eleccin igualmente entre sus dos
posibles efectos, que es el sentido de esta regla.

el argumento en lgebra de
Representando

proposiciones, tiene las siguientes formas

simblicas

1.
Premisa
2.
Premisa
3.
Premisa
___________________________________
C.
Conclusin aplicando a 1,2 y 3 la ley SD

Ejemplo:

Johann es ingeniero industrial o arquitecto. Si Johann es ingeniero

industrial, entonces conoce la programacin de produccin. Si Johann
es arquitecto entonces realiza el diseo arquitectnico de las
edificaciones. Conclusin, Johann conoce la programacin de
produccin o realiza el diseo arquitectnico de las edificaciones..

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

p= Se realiza un excelente manejo de frio en la

fruta
q= El proceso organolptico se detiene
r = Avanzan los estudios de manejo de
poscosecha
s= Expectativas de conservacin del fruta sern
mayores
t = La sociedad podr contar con una mayor
seguridad alimentaria


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

ECBTI/ Lgica Matemtica

GRACIAS POR SU
ATENCIN