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.