-
gab. E
alguem poderia explicar está primeira parte: (r ∧ (p → ~r)) ?
-
que bagunça
-
Demorei 10 minutos fazendo pela tabela verdade, mas deu certo!
-
Equivalência de se... então = inverter e negar os dois. A segunda parte está correta, mas na primeira p → ~r não é a negação de p ↔ r. Fiquei confuso com isso.
-
Eu também não entendi o ↔ "virando" um único →. Neste caso, é tabela verdade bruta!
-
Eu sinceramente nem tentaria resolver isso na prova. Só se manjasse muito. Até lembrar que a setinha que aponta pros dois lados é o "se, e somente se"...
-
Esse médico é fera!
-
O Gabarito está errado.
-
Na verdade eles não tem mais o que inventar e faz uma questão dessa sem pé nem cabeça.
-
Vamos lá galera !
Precisamos entende a equivalência do "Se..., então..." P -> Q e do "Se, e somente se" P <-> Q;
E negação das proposição condicionais !
Equivalência do "Se ..., então...": Nega tudo, inverte e mantém o conectivo "Se ..., então...".
(~p ∧ (p → q)) → (~r ∨ (p ↔ r))
A equivalência da segunda parte da preposição: (r ∧ (p → ~r)).
A equivalência da primeira parte da preposição: (p ∨ (p ∧ ~q)).
Agora é só junta e mante o conectivo: (r ∧ (p → ~r)) → (p ∨ (p ∧ ~q)) !
Gab. Correto !
-
Não entendi, mas depois de 10KM de tabela-verdade a questão está correta.
-
prof falou que esse é um caso manjado de equivalência, onde, p →q= ^p ou q= ^q→~p.
Fui nessa lógica.
-
O gabarito tá como certo
-
Gab CERTO.
acabei de fazer a tabela verdade demorei pakas ,é verdade as proposições t: (~p ∧ (p → q)) → (~r ∨ (p ↔ r)) E (r ∧ (p → ~r)) → (p ∨ (p ∧ ~q)) sao equivalentes.
Desculpe pessoal nao consigo escrever a tabela por aqui mas fica assim o resultados das duas.
V
V
V
V
F
V
F
V
-
ROMANO
pega a tabela do R que seria:
R
V
F
V
F
V
F
V
F
Faz a tabela do (p → ~r)):
(p → ~r))
V --> F = F
V --> V = V
V --> F = F
V --> V = V
F --> F = V
F --> V = V
F --> F = V
F --> V = V
DEPOIS UNI AS DUAS TABELAS DE CIMA E APLICA O SINAL DE "^"
(R ∧ (p → ~r))
(V ∧ ( F) = F
(F ∧ ( V) =F
(V ∧ ( F) =F
(F ∧ ( V) =F
(V ∧ ( V) =V
(F ∧ ( V) =F
(V ∧ ( V) =V
(F ∧ ( V) = F
-
Também tive dúvida, mas está correta, vejam a equivalência de se... então é inverte e nega tudo, ou seja, os lados devem apresentar valores diferentes do inicial. Ao fazer a tabela verdade percebe que realmente está certo.
t: (~p ∧ (p → q)) → (~r ∨ (p ↔ r)) (r ∧ (p → ~r)) → (p ∨ (p ∧ ~q))
F V F V
F V F V
F V F V
F V F V
V F V F
V V F F
V F V F
V V F F
Percebam então que a negação de (~r ∨ (p ↔ r)) é (r ∧ (p → ~r)), assim como a negação de (~p ∧ (p → q)) é (p ∨ (p ∧ ~q))
-
Acredito que a dúvida de todo foi a substituição de uma Bicondicional para uma "se..então."
Como a preposição de origem é um : A>B,
aplicou-se, o "volta negando".
Nisso, transformou um "se..então" em uma disjunção, e por fim, a equivalência da disjunção , que é uma bicondicional.
OBS: minha justificativa foi apenas para a segunda parte da preposição, pois, pelos comentários, foi o que percebi que gerou mais dúvidas.
Contudo, achei bem pegadinha isso, na prova não pensaria assim.
-