Sabe-se que toda água potável é água doce. Provei a água que estava no pote de barro, é água doce. Provei a água que estava no pote de alumínio, é água salgada.

Do ponto de vista da lógica formal, a partir dessas afirmações é correto dizer que o pote de