///
P1: Se a fiscalização foi deficiente, as falhas construtivas não foram corrigidas. P2: Se as falhas construtivas foram corrigidas, os mutuários não tiveram prejuízos. P3: A fiscalização foi deficiente. C: Os mutuários tiveram prejuízos.
A proposição P1 é equivalente a “Não é verdade que a fiscalização foi deficiente e que as falhas construtivas foram corrigidas”.