Regles de Gentzen

Regles bàsiques del càlcul de la lògica d'enunciats

D'introducció (I) / D'eliminació (I)

Lleis de la implicació
Lleis de la conjunció
Lleis de la disjunció
Lleis de la negació
REGLES DERIVADES DEL CÀLCUL D'ENUNCIATS
Lleis de la implicació
Lleis de la conjunció i disjunció
Lleis de la negació
Lleis addicionals de la disjunció i conjunció
Lleis del bicondicional
Lleis derivades de les definicions
Lleis de De Morgan