Fórum de Matemática | DÚVIDAS? Nós respondemos! https://forumdematematica.org/ |
|
Questão de Lógica - Remover parêntesis sem afetar a estrutura da proposição https://forumdematematica.org/viewtopic.php?f=70&t=5720 |
Página 1 de 1 |
Autor: | Fraol [ 12 abr 2014, 21:19 ] |
Título da Pergunta: | Re: Questão de Lógica - Remover parêntesis sem afetar a estrutura da proposição |
Boa tarde, Usando a precedência dos operadores \(\left( \neg, \wedge, \vee, \rightarrow , \leftarrow , \leftrightarrow \right )\) é possível deixar apenas dois parêntesis, os externos no lado direito da expressão. |
Autor: | usrAnonymous [ 12 abr 2014, 21:37 ] |
Título da Pergunta: | Re: Questão de Lógica - Remover parêntesis sem afetar a estrutura da proposição |
@fraol, obrigado pela resposta, mas acredito que não entendi. A resposta seria essa? (( P ^ ~Q ^ R ) v S ) -> ( ~P v R <-> ~R v ~P) |
Autor: | Fraol [ 12 abr 2014, 21:44 ] |
Título da Pergunta: | Re: Questão de Lógica - Remover parêntesis sem afetar a estrutura da proposição |
Oi, Ao meu ver, seria: P ^ ~Q ^ R v S -> ( ~P v R <-> ~R v ~P) No lado esquerdo, a conjunção (\(\wedge\)) precede a disjunção (\(\vee\)) logo não há necessidade de parêntesis. Como no lado direito temos a implicação ( \(\rightarrow\) ) com precedência sobre a equivalência ( \(\leftrightarrow\)) então precisamos parentisar para indicar que deve ser efetuada primeiro a equivalência, depois a implicação. Como foi pedido para manter a estrutura, entendendo que esta é do tipo \(A \rightarrow (B \leftrightarrow C)\) a resposta seria esta. Obviamente que se pode eliminar a implicação e a equivalência, mas por ora creio que isso basta. |
Autor: | usrAnonymous [ 13 abr 2014, 00:13 ] |
Título da Pergunta: | Re: Questão de Lógica - Remover parêntesis sem afetar a estrutura da proposição |
Mas dessa forma a disjunção não se aplicaria somente a R? Dado P=0,Q=1,R=0,S=1, na proposição P ^ ~Q ^ R v S 0 ^ 0 ^ 0 v 1 == 0 ^ 0 ^ 1 == 0 Enquanto na proposição (P ^ ~Q ^ R) v S (0 ^ 0 ^ 0) v 1 == (0 ^ 0) v 1 == 1 Não concorda comigo? |
Autor: | Fraol [ 13 abr 2014, 00:42 ] |
Título da Pergunta: | Re: Questão de Lógica - Remover parêntesis sem afetar a estrutura da proposição [resolvida] |
Oi, Permita-me discordar pois: usrAnonymous Escreveu: Dado P=0,Q=1,R=0,S=1, na proposição P ^ ~Q ^ R v S Pela precedência dos operadores, parentisando apenas para indicar a ordem de avaliação, a expressão seria: \(P \wedge \neg Q \wedge R \vee S \equiv \left( \left( \left( \left P \wedge \left( \neg Q \right ) \right ) \wedge R \right ) \vee S\right )\) Daí avalia-se dos parêntesis mais internos para os mais externos. Ou de forma mais simples, olhe para a sua expressão original lá no início da discussão. |
Página 1 de 1 | Os Horários são TMG [ DST ] |
Powered by phpBB® Forum Software © phpBB Group https://www.phpbb.com/ |