Uma perspectiva quantitativo-informacional para a consequência lógica.