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.