O manual de instruções de um drone diz: “Se a bateria do drone ficar muito baixa, então ele retornará automaticamente para seu ponto de partida”. Uma proposição logicamente equivalente a essa afirmação é: