Considere que as afirmativas abaixo são verdadeiras. 1. Se ...

Alguém pode me explicar porquê negou a frase?

para resolver essa questão foi utilizado a regra do CORTE , fazendo equivalência da ultima.

Gab D.

É o seguinte, tem uma regra no raciocínio lógico que é dado por:

Partindo dessas premissas

A - > B

B - > C

Podemos concluir A - > C. Como se fosse uma regra de corte (cortou o B)

Digamos que

A - Chover

B - A garagem será inundada

C - o carro será estragado

D - Consertar o telhado

As premissas tornam-se, nessa linguagem

A -> B

B -> C

D -> ~C -> utilizamos a equivalência da contrapositiva D -> ~C == C -> ~D

A -> B

B -> C

C -> ~D

Aplicamos a "regra do corte"

A ->B

B -> C == A -> C

-------

A-> C

C-> ~D

== A -> ~D, portanto, como A = chover, e D = consertar o telhado, então, Se chover então não consertou o telhado

Silogismo hipotético, substituição e contrapositiva para resolver essa questão.