Sin embargo, las proposiciones siguientes son equivalentes para todas las álgebras de Heyting "H":