Estefânia é muito fã do cantor Paul McCartney e afirmou para seu marido: “Se o Paul não fizer um show na nossa cidade, então eu viajarei para onde ele for tocar”.

Uma proposição logicamente equivalente à afirmação de Estefânia é a seguinte: