Edición de «Consecuencia lógica»
De Cuba-Wiki
Puedes deshacer la edición. Antes de deshacer la edición, comprueba la siguiente comparación para verificar que realmente es lo que quieres hacer, y entonces publica los cambios para así efectuar la reversión.
Revisión actual | Tu texto | ||
Línea 1: | Línea 1: | ||
Definición: | |||
Sea Γ un conjunto de fórmulas y sea α una fórmula. Diremos que α es consecuencia lógica de Γ, y se nota <math>\alpha \in c(\Gamma)</math>, si para toda valuación | Sea Γ un conjunto de fórmulas y sea α una fórmula. Diremos que α es consecuencia lógica de Γ, y se nota <math>\alpha \in c(\Gamma)</math>, si para toda valuación 'v' que satisface a Γ entonces v(α) = 1. |