Para um argumento válido, pode-se concluir que Paula ficou em casa. Qual é a sequência correta de premissas e conclusão desse argumento? P1: Se Má...

Para um argumento válido, pode-se concluir que Paula ficou em casa. Qual é a sequência correta de premissas e conclusão desse argumento?

P1: Se Mário vai ao cinema, então Paula fica em casa.
P2: Se Paula não fica em casa, então Ana vai trabalhar.
P3: Ou Ana não vai trabalhar ou Carlos vai viajar.
P4: Carlos não vai viajar.
A) P1, P2, P3, P4, conclusão.
B) P4, P3, P2, P1, conclusão.
C) P3, P2, P1, P4, conclusão.
D) P1, P2, P4, P3, conclusão. (CORRETA)