Diferencia entre revisiones de «Consecuencia lógica»
De Cuba-Wiki
Sin resumen de edición |
(corrijo la cajita en que me puso el texto por dejar un espacio) |
||
| Línea 1: | Línea 1: | ||
Definición: | '''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 ''v'' que satisface a Γ entonces v(α) = 1. | |||
Revisión actual - 04:34 5 oct 2006
Definición: Sea Γ un conjunto de fórmulas y sea α una fórmula. Diremos que α es consecuencia lógica de Γ, y se nota , si para toda valuación v que satisface a Γ entonces v(α) = 1.
