Fórmulas Universalmente Válidas

Éstas son fórmulas que no imprta el Universo, son siempre válidas (sino no se llamarían así (: )
Fórmulas UV

Donde dice: "Sean (alpha), (beta) y (gamma) fórmulas de un Lenguaje Formal de Primer Orden."
ustedes leerán: "Sean (alpha), (beta) y (gamma) proposiciones"

Se puede demostrar que todas son tautologías usando lo que Mijaíl les dio.

Alejandro Cuevas