Please enable JavaScript.
Coggle requires JavaScript to display documents.
Lógica sentencial
Equivalências (1° caso:
"SE" nas DUAS frases
…
-
Tabela de símbolos
e = ^
ou = v
negação = ~ ¬
Se, então = ➟
Obs.: :checkered_flag::
- Se for prova de Múltipla escolha
Pode cair esse 3° caso, ou, o 1° caso
.
- Agora se for de CERTO e ERRADO, pode cair os três casos.
Muito IMPORTANTE :warning:
.
- Nas questões do CESPE, veja se tem esse sinal ¬ ANTES de EQUIVALENTE,
- Se tiver ANTES, ele quer a NEGAÇÃO
- Se tiver DEPOIS, certamente só será parte de uma proposição
LEMBRE-SE:
As questões vem com letras tbm.
- (CESPE/SERPRO) A negação de [P˄~(QVR)]→[R˄(P↔Q)] pode ser corretamente expressa por [~PV(QVR)]˄[(~R)V~(P↔Q)].
.
ERRADO
Pq?
As primeiras chaves " [ ] " formam um trecho, e no meio tem ➟ (o "Se, então" ), logo essa questão é uma negação de condicional.
Condicional = A ➟ B
Negação = A ^ ~B
Veja que na CONDICIONAL, tem que MATER o 1° trecho,
e a questão NÃO manteve.
-
-
Lembre-se:
Quando tiver:
"Quando + (virgula no meio)"
"Enquanto + (virgula no meio)"
etc...
TERÁ função do "SE" :!!:
Para tirar a duvida, basta colocar o "SE" pra vê se faz sentido :check:
Pois RLM É A IDEIA!
A palavra equivalência pode vim com outros nomes:
- possuem mesmos valores lógicos iguais; - ambos V ou ambos F;
- possuem mesma tabela-verdade
Rol exemplificativo
Dica:
- CONDICIONAL
Negação => Ma.ne E na outra frase
Equivalência => Ne.y.ma OU na outra frase
Equivalência => troca as posições, nega os dois SE nas duas
-
Resumo
- Se, então nas DUAS: Troca NEGADO
.
- Se, então com OU: Ne y Ma
.
- Falar a mesma coisa