Das sentenças abaixo, a negação lógica da sentença “Arnaldo é professor ou Carla não é médica”, é: