Se a declaração “Todo professor é estudioso” for ver

A Paulo é estudioso, então é professor B João não é professor, então não é estudioso C Todo estudioso é professor D César não é estudioso, então não é professor