-
Neste caso deve-se considerar a equivalência A>B = ~A VB
-
Y-> Z não é igual a ¬Y v Z.
Neste teríamos duas respostas corretas?
-
Se for tentar por álgebra, acho que vai demorar. Tentei por lógica de argumentação usando conclusão falsa.
Tanto letra B como D estão corretas.
-
Artur Lira, as alternativas B e D não podem estar certas ao mesmo tempo, pois uma é a negação da outra. Muito facilmente cheguei a (b) Y → Z, fazendo sempre a mesma equivalência, A → B equivale a ~B → ~A (negar tudo e inverter).
-
Daniel Zini, (~Y) v Z é o mesmo que Y -> Z. Ambos têm a mesma tabela-verdade.
-
Realmente a resposta B) e E) são iguais. Dá pra ver facilmente pelo método de negar a negação que chegaria em um equivalente.
Y -> Z - Negando
~(Y->Z) = Y^~Z
~(Y^~Z) = ~Y v Z, portanto B) e E) são equivalentes
-
Gabarito: B ou E.
Equivalências de P --> Q
~Q --> ~P (Contrapositiva)
~P v Q (negação da negação)
_______________________________________________
~X --> Z = ~Z -->X
X --> ~Y = Y --> ~X
~Z --> X --> ~Y = ~Z --> ~Y = Y --> Z = ~Y v Z.