A negação lógica de ``Se Douglas for solteiro então Pedro é casado´´ é: