Do ponto de vista da lógica, uma sentença equivalente à “Se ele é médico, então ele estudou anatomia” é: