Metric Boolean Algebras and an Application to Propositional Logic. GJSFR 2011, 11 (5), 1-4.