Abstract
No presente trabalho discutiremos a tese segundo a qual provas com diagramas são heterogêneas, i. e., envolvem casos de raciocínio visual. Em uma primeira seção, examinaremos o uso informal de diagramas de Venn em provas conjuntistas, procurando determinar em que sentido provas com diagramas seriam heterogêneas. Tais provas su-postamente envolveriam raciocínio visual no sentido em que a validade das inferências dependeria de características visualizáveis dos diagramas e não de regras de derivação. Em uma segunda seção, investigaremos quais seriam os aspectos relevantes para a validade das inferências diagramáticas. A seguir, na terceira seção, argumentaremos que a concepção de provas diagramáticas como envolvendo essencialmente um elemento visual apresenta sérios problemas