-
Alguém sabe como resolver essa questão??
-
na verdade não tenho a miníma idéia, mas tenho comigo que os operadores mais complexos "Se,então"; "Se, e somente se", derivem dos mais básicos "não";"E"; "Ou"... mas agora a lógica para se chegar a eles não sei.
-
Entendo que o operador "não" é básico e não pode ser deduzido.
A única alternativa que contém o "não" é a letra B, portanto é a correta, independente de qualquer outra coisa.
Gostaria que alguém confirmasse se meu raciocínio está correto.
-
Vamos pegar pelo mais complexo.
Dedução do Bicondicional
p <-> q
Podemos representar equivalentemente como (p -> q) ^ (q -> p), que pode por sua vez, ser representado equivalentemente como (~p v q) ^( ~q v p).
Essa última fórmula pode ainda ser deduzida para através de De Morgan: ~(p ^ ~q) ^ ~(q ^ ~p).
Temos por fim apenas ^ e ~.
Dedução do Condicional
p -> q, equivale a ~p v q, que por sua vez pode ser representado equivalentemente por ~(p ^ ~q).
Temos por fim apenas ^ e ~.
Dedução do OU
p v q equivalente pode ser ~ ~p v ~ ~q. Vale lembrar que Dupla Negação, equivale à própria proposição.
Colocando a negação em evidência, podemos ter ~ (~p ^ ~q).
Portanto, a partir dos operadores ~ e ^, conseguimos deduzir os demais.
-
Utilizei a lógica da precedência, onde a negação e a conjunção precedem os outros operadores lógicos, logo imaginei que os demais operadores lógicos podem ser deduzidos a partir destes 2. Não sei se minha conclusão está coerente, mas esse pulo do gato me fez acertar a questão. Sempre virão questões assim e o "PULO DO GATO" é a única saída nessas horas!
-
Significado de A partir de
loc. Gram. Geralmente utilizado para demarcar o início de uma contagem, ordenamento, medida e/ou posição.
Sinônimo de a partir de: a começar de
lógica da precedência do ordenamento: ¬ , Λ , V , → , ⇔ questão B corresponde a ordem( a começar de )
-
As prioridades são:
~ ^ v --> <-->
-
De acordo com o cálculo proposicional, é sabido que
a prioridade dos operadores lógicos são: {¬, ^, v, → e ←→}.
Assim, os operadores lógicos podem ser deduzidos a
partir de “¬” e “^”.
RESPOSTA: (B)
-
Acertei a questão mas não entendi nada.
-
Existem situações em que temos sequência de
conectivos. Ordem de precedência entre os conectivos:
1º operador: “NÃO”
2º operador: “E”
3º operador: “OU”
4º operador: “SE ENTÃO”
5º operador: “SE E SOMENTE SE”
-
Vamos para a dedução. Precisamos de dois instrumentos lógicos o "não, ¬" e o "e, ^" e duas proposições arbitrárias
p,q
p sozinha é simples
¬p é a negação de p
p ^ q (conjunção)
negue p e q
¬p v ¬q ( obtemos a disjunção)
faça a equivalência dessa anterior com a condicional
p-->¬q ( obtemos a condicional)
faça essa condicional ir e voltar e teremos a bicondicional
(p-->¬q)^(¬q-->p) é equivalente à p<->¬q (bicondicional)
negue a bicondicional p -v- ¬ q (disjunção exclusiva)
Ufa acabamos...
Mas se quiser continuar a brincadeira, expresse p como conjunto
e coloque um A inteiramente dentro do conjunto p
logo temos para todo A A é p
Agora coloque um B que esteja no conjunto do p mas não inteiramente
logo existe pelo menos um B que é p
Por último coloque um C que não está em p
Nenhum C é p