Um argumento constituído por uma sequência considerado válido se, a partir das premissas P1 e P2 de um argumento forem a sua conclusão P3 for dada por Existem gatos que são pardos, então essa sequência de proposições constituirá um argumento válido.