Reglas De Inferencia

Suponiendo que todas las proposiciones son verdaderas

P= Hace calor y Q=Te llevo al rio

p q Si p a q, y p, entonces q
Modus ponens p Si hace calor
q
Te llevo al rio

p q Si p a q, y q es falso
Modus tollens q Si no te llevaron al rio
p No hace calor
(1
p q (2)
u v (3)
n t
r p q u t v
) r
v v
p u t
q q n
(2)
w
t q
t w
t
q
 Si p, se puede sumar con q
p sea esta cierta o no
Suma p q

p q p q Si ambas son ciertas, se

Simplificación p q puede simplificar y se baja
una.
 p Si p, y aparte q, se
q
Conjunción p q pueden sumar y se
pone en una sola

p q
Silogismo q Si q es a r, y p es a q,
r
hipotético p r entonces q es a r
 p q p o q son ciertas
Silogismo p Si una no es verdad la otra
disyuntivo q lo tiene que ser