Raciocínio Lógico — equivalências lógicas

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émverdadeira por consequência lógica das premissas. A respeito dasformas 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.