Alguem me ajuda pfv!!!!!
http://paginapessoal.utfpr.edu.br/paulabenevides/raciocinio-logico-quantitativo/raciocinio-logica-quantitativo/AULA4_resposta.pdf
Para resolver a expressão dada, realizaremos os cálculos abaixo:
\(\begin{array}{lllllllllllllll} {p \Leftrightarrow q} \\ {{{(p \to q)}^{(q \to p)}}} \\ {{{(\;p\nabla q)}^{(\;q\nabla p)}}} \\ {((\;p\nabla q)\;q)\nabla ({{(\;p\nabla q)}^p})} \\ {((\;p\;q)\nabla (q\;q))\nabla ((\;{p^p})\nabla ({q^p}))} \\ {((\;p\;q)\nabla c)\nabla (c\nabla ({q^p}))} \\ {(\;p\;q)\nabla ({q^p})} \end{array}\)
Portanto, demonstramos a propriedade comutativa bicoindicional.
Para escrever sua resposta aqui, entre ou crie uma conta.
Lógica Matemática e Teoria dos Conjuntos
Compartilhar