Curso

Herramientas de Lógica
Computacional
 Lógica Proposicional
Leyes o reglas de Inferencia:

Las regla de inferencia se utilizan para determinar la validez

de un argumento lógico al deducir que su conclusión a
partir de sus premisas, es decir, todo esquema valido de
razonamiento

¿Qué es un argumento lógico?

Lógica Proposicional

¿Prueba de validez?
Lógica Proposicional

¿Leyes o Reglas de Inferencia?

Lógica Proposicional

¿Cuáles son estas leyes?

 Lógica Proposicional
Comencemos con 2 Premisas
p: El Clima esta Excelente
q: Te llevo a pasear
Y la siguiente proposición.
pq
Lógica Proposicional
(Afirmando afirmo) MPP:
Si tenemos en la primera premisa una
implicación entre 2 componentes (antecedente
y consecuente) y todos 2 están afirmados, y en
la segunda premisa se encuentra el
antecedente en el mismo estado de la primera
premisa, entonces en conclusión es el segundo
componente (consecuente) de la primera
premisa.
Lógica Proposicional
(Negando Niego) MTT:
Si tenemos la primera premisa una implicación
entre 2 componentes (antecedente y
consecuente) y en la segunda premisa el
componente es la negacion del el segundo
componente (consecuente) de la primera
premisa,
Entonces en conclusión es la negación de la
primer componente de la primera premisa
Lógica Proposicional
(Negando Niego) MTT (v2):
Si se tiene en la primera premisa una
implicación entre 2 componentes
(antecedente y consecuente) donde el
consecuente es negado y en la segunda
premisa el segundo componente
(consecuente) no esta negado,
entonces en conclusión es la negación
de la primera componente.
Lógica Proposicional
Lógica Proposicional
Lógica Proposicional
Lógica Proposicional
 Lógica Proposicional
Silogismo Disyuntivo
(Negando afirmo) MTP:
Tenemos en la primera premisa una
disyunción (ó) entre 2 componentes
(antecedente y consecuente) y todos 2
están afirmados, y en la segunda
premisa se encuentra el antecedente
negado, entonces en conclusión es el
primer componente (antecedente)
p: Te llevo al cine
q: Te llevo a pasear
pq
Lógica Proposicional
Lógica Proposicional
Lógica Proposicional
Lógica Proposicional
Lógica Proposicional
Lógica Proposicional
(Silogismo Hipotético) SH:
Se tiene en la primera premisa una implicación
entre 2 componentes (antecedente y
consecuente)
-En la segunda premisa el primer componentes
es el mismo que el segundo componente de la
primera premisa.
Entonces en conclusión el primer componente
de la primera premisa implica al segundo
componente de la segunda premisa.
 Lógica Proposicional

p: me dan trabajo
q: vivir con mis padres
r: ser independiente
s: seré un mantenido
Lógica Proposicional
Lógica Proposicional
Lógica Proposicional
Lógica Proposicional
Lógica Proposicional
Lógica Proposicional
Lógica Proposicional
Lógica Proposicional
Lógica Proposicional
Lógica Proposicional
Lógica Proposicional
Lógica Proposicional
Lógica Proposicional