Um argumento constituído por uma sequência de três proposições - P1, P2 e P3, em que P1 e P2 são as premissas e P3 é a conclusão - é considerado válido se, a partir das premissas P1 e P2, assumidas como verdadeiras, obtém-se a conclusão P3, também verdadeira por consequência lógica das premissas. A respeito das formas válidas de argumentos, julgue os próximos itens.
Nessas condições, é correto concluir que o argumento de premissas P1 e P2 e conclusão P3 é válido.
Se as premissas P1 e P2 de um argumento forem dadas, respectivamente, por "Todos os leões são pardos" e "Existem gatos que são pardos", e a sua conclusão P3 for dada por "Existem gatos que são leões", então essa sequência de proposições constituirá um argumento válido.