-
✅ Gabarito: C
✓ Sejam as proposições: C: Carla é babá; ¬L: Lara não é do Brasil.
➥ Assim, a sentença "Carla é babá ou Lara não é do Brasil", uma disjunção lógica, poderá ser representada por C ∨ ¬L. Uma disjunção lógica é verdadeira em três casos e falsa em um. Portanto, uma proposição que lhe seja equivalente também será verdadeira em exatamente três casos e falsa em um caso, e sabemos que o condicional se encaixa nesse requisito. Para obtermos um condicional equivalente a uma disjunção, basta negarmos o primeiro termo e mantermos o segundo. Temos, assim, C ∨ ¬L = ¬C → ¬L → O que podemos ler como: "Se Carla não é babá, então Lara não é do Brasil"
➥ FORÇA, GUERREIROS(AS)!!
-
Também podemos ter a seguinte construção equivalente:
"Se Lara é do Brasil, então Carla é babá."
-
"NEiMA" troca o OU pelo ENTÃO e NEga a primeira i MAntém a segunda.
P v Q
fica
~P -> Q
Se Carla não é babá, então Lara não é do Brasil"
PERTENCELEMOS!
-
Assertiva C
se Carla não é babá, então Lara não é do Brasil.
Se A -> B
Eq com Ou
Se ~A OU B
-
nega a primeira e mantem a segunda. Consulte sua teoria pois existe outra forma de equivalência para tal conectivo
-
Essa equivalência é muito recorrente em provas.
Quando ele dá uma frase com uma disjunção (OU), vc apenas aplica a equivalência:
P V Q = ~P --> Q (nega a primeira proposição e mantém a segunda)
No caso da questão, temos:
P: Carla é babá
ou
Q: Lara não é do Brasil
A equivalência fica:
nega a primeira (P) e mantém a segunda (Q):
Carla NÃO é babá ou Lara não é do Brasil
Assim você não erra questão desse tipo ;-0