La relación de consecuencia semántica se define con respecto a una clase de estructuras y la relación de consecuencia sintáctica, con respecto a un sistema de pruebas.»