Se Paulo é pedreiro, então Quirino não é marceneiro. Rute é analista se, e somente se, Silvia é dentista. Quirino é marceneiro ou Telma é diarista. Constatado que Telma não é diarista e que Silvia não é dentista, é correto concluir que