La metalógica es el estudio de los sitemas
formales. Dicho brevemente, la metalógica es
el metalenguaje de la lógica.
Cuando tomamos el lenguaje formal como
lenguaje objeto, nos servimos para su estudio de la metalógica. Por
ejemplo, en Aprende Lógica hacemos uso
de la metalógica
cuando presentamos los signos que usa la el lenguaje formal. Así,
el enunciado
"'
'
es una de las conectivas" es un enunciado
metalógico.
