A proposição condicional p ? q é, logicamente, equivalente à proposição: