Si A es una EBF y B también, entonces A ∧ B; A ∨ B; A → B; A ↔ B, también lo son.