La deducció natural és una forma de demostrar la validesa d'un seqüent, però n'hi ha més. Altres són:
