Se o sino da igreja toca e minha avó o escuta, então minha avó vai para a igreja. Uma afirmação equivalente a essa, do ponto de vista lógico, é: