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 fiscali

Gabarito

Errado

Comentário do professor

Mapeando P2, seja \(p\): "as falhas construtivas foram corrigidas" e \(q\): "os mutuários não tiveram prejuízos". P2 afirma \(p \to q\), isto é, "Se \(p\) então \(q\)". A afirmação proposta, "Se as falhas não foram corrigidas, os mutuários tiveram prejuízos", corresponde a \(\neg p \to \neg q\).

Um condicional possui como equivalência lógica sua contrapositiva, que inverte e nega ambos, \(p \to q \equiv \neg q \to \neg p\), e também pode ser escrita como disjunção \(p \to q \equiv \neg p \lor q\). Contudo, \(\neg p \to \neg q\) é a inversa de \(p \to q\) e, em geral, não é equivalente a ele.

Portanto a proposição dada não é equivalente a P2, por isso o item foi julgado ERRADO. A forma correta equivalente a P2 seria "Se os mutuários tiveram prejuízos, então as falhas não foram corrigidas", \( \neg q \to \neg p\).