Assinale a opção que apresenta uma proposição equivalente, sob o ponto de vista da lógica sentencial, à proposição P do texto CB1A5AAA.

A empresa alegou ter pago suas obrigações previdenciárias, mas não apresentou os comprovantes de pagamento, ou o juiz julgou procedente a ação movida pelo ex-empregado.

Se o juiz julgou procedente a ação movida pelo ex-empregado, então a empresa alegou ter pago suas obrigações previdenciárias, mas não apresentou os comprovantes de pagamento.

Se a empresa alegou ter pago suas obrigações previdenciárias, mas não apresentou os comprovantes de pagamento, então o juiz julgou procedente a ação movida pelo ex-empregado.

A empresa alegou ter pago suas obrigações previdenciárias, mas não apresentou os comprovantes de pagamento, mas o juiz julgou procedente a ação movida pelo ex-empregado.