Fuente TeX:
CONS(\emptyset) = verdades\ logicas