Consecuencia lógica

Definición: Sea Γ un conjunto de fórmulas y sea α una fórmula. Diremos que α es consecuencia lógica de Γ, y se nota $\alpha \in c(\Gamma )$, si para toda valuación v que satisface a Γ entonces v(α) = 1.