Si p y q son proposiciones, entonces podemos formar la proposición bicondicional p ↔ q , leída «p si y solo si q ».Si p y q son los enunciados «Estoy en casa» y «Está lloviendo», entonces p ↔ q denota «Estoy en casa si y solo si está lloviendo».