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

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/center>
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