Diferencia entre revisiones de «Tautología»

10 bytes añadidos ,  hace 4 años
Aclaración relevante
(Simplifico sintáxis)
(Aclaración relevante)
</math>
 
Si una fórmula tiene ''n'' fórmulas atómicas distintas, entonces tiene 2<sup>''n''</sup> interpretaciones posibles. En muchos casos, por lo tanto, las tablas de verdad pueden ser muy grandes. Lo importante, sin embargo, es que dado que la lógica proposicional no admite fórmulas infinitas, el número de interpretaciones posibles siempre será un número finito, y por lo tanto siempre será posible [[Decidibilidad|decidir]] si una fórmula cualquiera es una tautología o no.
 
== Véase también ==
21 809

ediciones