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:
- A Paul faz um show na nossa cidade ou eu viajo para onde ele for tocar.
- B Paul faz um show na nossa cidade e eu não viajo para onde ele for tocar.
- C Se o Paul fizer um show na nossa cidade, então eu não viajarei para onde ele for tocar.
- D Se eu viajei para onde ele for tocar, então o Paul não fez um show na nossa cidade.