A afirmação de Deise é equivalente a “Bernardo ou Carla é in...

A → B = ~B → A

Ou

A → B = ~A v B

Assim:

"Se Bernardo é culpado, então Carla é inocente", é equivalente a:

A → B = ~A v B = Bernardo não é culpado ou Carla é inocente.

Que é o mesmo que:

Bernardo é inocente ou Carla é inocente = Bernardo ou Carla é inocente.


Resposta: Certo.

Equivalência de P -> Q é:      

~Q -> ~P
P e ~Q
~P ou Q

Para ser a afirmativa verdadeira

Bernardo é falso (em função da afirmativa solitária)
Carla somente pode ser verdadeira para atender a condição da tabela verdade da condicional.

Portanto, a afirmativa com disjunção ou Bernardo ou Carla é inocente é verdadeira.

Pois, mesmo Bernado sendo inocente seja falso para  que toda a afirmativa seja verdadeira, carla é inocente tem que ser verdadeira.

Olá amigos,
"Se Bernardo é culpado, então Carla é inocente."

Chamaremos de:
B: Bernando é culpado.
C: Carla é inocente.

Logo temos: (B --> C)
Há duas equivalências para o Condicional (-->)

1) Contrarecíproca
Inverte as posições e seus valores.

Resolução,
"Se Carla é culpada, então Bernardo é inocente"

2) Nega o antecedente ou mantém o consequente

Resolução,
"Bernardo é inocente ou Carla é inocente"

Gabarito CORRETO.

Bons estudos ;D

Falar  "Bernardo é inocente ou Carla é inocente" é diferente de falara "Bernardo ou Carla é inocente", poisa sabemos que verbo no singular + ou da sentido de exclusão, ou seja, um ou...ou...

O correto seria Bernardo ou Carlas são inocentes.

Mas, fazer oque.

dizer q Bernardo não é culpado é o mesmo que dizer que é inocente???