donde ⊢ es un símbolo metalógico que significa que "Q" es una consecuencia sintáctica de "P" → "Q" y "P" en algún sistema lógico;