-
Regra da contrapositiva:
P -> Q / ~ Q - > ~ P
-
Regrinha básica de equivalência lógica do conectivo "Se... então"
Mantém o conectivo "Se... então" porém inverte as sentenças e nega as duas.
"Se eu caso então eu compro uma bicicleta" = Se eu não compro uma bicicleta então não caso"
Valeu
-
Para equivalências tipo P -> Q usam-se: 1) ~Q -> ~P
2) ~P v Q
O simples que dá certo!
-
EQUIVALENTES DE CONDICIONAL:
1) Inverte e nega tudo: ~Q -> ~P
2) Regra do NeyMar (ou NeyOuMar): Nega a primeira, coloca o OU, mantém a segunda: ~P v Q
-
é só manter o conectivo [se... então] e inverter as sentenças negando.
Se eu caso então eu compro uma bicicleta
Se eu não compro uma bicicleta então não caso
GABARITO B
-
Para quem assim como eu não gosta de decorar regras como "VOLTA NEGANDO" com medo de esquecer isso na "hora H", vai uma dica prática (anti-decoreba) que demora um pouco mais, porém funciona. Construir a tabela verdade e verificar se são equivalentes.
(C -> B) <-> (~B -> ~C)
v v
f f
v v
v v
-
Letra B.
Equivalência Lógica.
Se P então Q; É equivalente às frases:
1) Se não Q então não P (voltou negando).
2) Se não P ou Q.
Portanto:
Se eu caso então eu compro uma bicicleta. = Se eu não compro uma bicicleta então eu não caso. (voltou negando).
Bons estudos!