Texto CB1A5AAA Proposição P: A empresa alegou ter pago suas obrigações previdenciárias, mas não apresentou os comprovantes de pagamento; o juiz jul...

Texto CB1A5AAA Proposição P: A empresa alegou ter pago suas obrigações previdenciárias, mas não apresentou os comprovantes de pagamento; o juiz julgou, pois, procedente a ação movida pelo ex-empregado. 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) 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.
B) 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.
C) 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.
D) 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.
E) se a empresa não alegou ter pago suas obrigações previdenciárias, mas apresentou os comprovantes de pagamento, então o juiz não julgou procedente a ação movida pelo ex-empregado.