Llueve: p; Hace frío: q; Llueve si y solo si hace frío: p ↔ q