Se Alceu tira férias, então Brenda fica trabalhando. Se Bren...

É preciso considerar a equivalente da  proposição do tipo A => B, que é:

A => B = ~B => ~A

Dessa forma, reconstruindo as sentenças dadas com suas equivalentes, encontra-se:

Se Dalva não falta ao trabalho, então Clóvis chega mais cedo ao trabalho. Se isso ocorre, então Brenda não fica trabalhando. Se Brenda não fica trabalhando, então Alceu não tira férias.

Gabarito: C.

Questão Facil:

ALCEL FÉRIAS ---> BRENDA TRABALHA

           F                                       F

BRENDA TRABALHA  ---> CLÓVIS TARDE AO TRABALHO

                     F                                              F

CLÓVIS TARDE AO TRABALH ---> DALVA ~TRABALHA

                 F                                                              F

DALVA TRABALHOU

                V

CONCLUIMOS QUE:  CLÓVIS NÃO CHEGA MAIS TARDE AO TRABALHO E ALCEU  NÃO TIRA FÉRIAS

RESPOSTA: C

Trata-se do conectivo CONDICIONAL (SE... ENTÃO, representado graficamente por SE ----> ENTÃO), desta forma, temos:

Se a 1ª for V e a 2ª for F, toda assertiva é Falsa (Condicional)

Se A, então B = A---->B

Se B, então C = B ----> C

Se C, então D = C ----> D

A última afirmação é o príncipio da identidade, ou seja, se o enunciado diz que é V, a assertiva é V ou se diz que é F, será F.

Assim, ~ D = V, logo, D = F (traduzindo, ~ D é uma afirmação negativa, logo, a contrário senso, D = F

 A---->B

 B ----> C

C ----> D (F)  (F9   f

Então se Dalva faltar ao trabalho é falso, na sequência lógica, todos serão falsos, pois, uma condição suficiente gera um resultado necessário, assim temos, Dalva faltar é condição suficiente e Dalva não faltou, então, não gerou o resultado ncessário.

Trata-se do conectivo SE - ENTÃO. Dentro de um se, então há uma regra:

Quando dizemos que a primeira proposição é verdadeira, automaticamente estamos dizendo que a segunda também é. Porém, quando negamos a segunda proposição, automaticamente negamos a primeira.

Em resumo, dentro de um se - então: ou eu vou confirmando, ou eu volto negando.