metalógica | n. f. Disciplina que toma por objecto as fórmulas de uma lógica já constituída, assim como as regras do seu manuseamento....