metalogica 1 (sf.) (pl.-che) In matematica e in informatica, studio della semantica e della sintassi dei sistemi e dei linguaggi formali.