Um argumento constituído por uma sequência de três proposições — P1, P2 e P3, em que...

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.

Considere a seguinte sequência de proposições:

P1 – Existem policiais que são médicos.

P2 – Nenhum policial é infalível.

P3 – Nenhum médico é infalível.

Nessas condições, é correto concluir que o argumento de premissas P1 e P2 e conclusão P3 é válido.