Reglas de deduccion

Enviado por Programa Chuletas y clasificado en Filosofía y ética

Escrito el en español con un tamaño de 1,26 KB

 
Modus Ponens M.P.
p q z p
p z
q q
Modus Tollens M.T.
p q p q
q q
p p
Silogismo Disyuntivo S.D.
pv q pv q
p p
q q
Doble Negacion D.N.
p=p
Eliminacion del Negador E.N.
p
p
q
Introduccion de la Conjuncion I.C.
1.p
2.q
p q IC 1,2
Adicion Ad.
1.p
pv(lo k kiera)
Simplificacion S.
1.p q
p S 1
q S 1
Conmutacion de la Conjuncion C.C.
1.p q
q p CC 1
Ley de Morgan L.M.
1.pv q
( pv q)
Eliminacion del Disyuntor E.D.
1.pvp
p
Definicion DEF.
p q : (p q) ; pvq

Entradas relacionadas: