• Anúncio Global
    Respostas
    Exibições
    Última mensagem

Logica dos Predicados

Regras do fórum
A classificação destes desafios em fáceis, médios e difíceis, é apenas ilustrativa.
Eventualmente, o que pode ser difícil para a maioria, pode ser fácil para você e vice-versa.

Logica dos Predicados

Mensagempor henrique25 » Ter Dez 14, 2010 13:15

demonstre que cada wff é um teorema da logica dos prodicados:
legenda: "e" = "^"
"ou"="^ invertido"

1-(\forall x)P(x)\rightarrow(\forall x)[P(x) ou Q(x)]

2-(\forall x)P(x) e (\exists x)Q(x)\rightarrow (\exists x)[P(x) e Q(x)]

3-(\exists x)(\exists y)P(x,y)\rightarrow (\exists y)(\exists x)P(x,y)

4-(\forall x)(\forall y)Q(x,y)\rightarrow(\forall y)(\forall x)Q(x,y)
henrique25
Novo Usuário
Novo Usuário
 
Mensagens: 3
Registrado em: Sáb Mai 08, 2010 15:13
Formação Escolar: ENSINO MÉDIO
Área/Curso: informatica
Andamento: cursando

Voltar para Desafios Difíceis

 



  • Tópicos relacionados
    Respostas
    Exibições
    Última mensagem

Quem está online

Usuários navegando neste fórum: Nenhum usuário registrado e 1 visitante

 



Assunto: Simplifique a expressão com radicais duplos
Autor: Balanar - Seg Ago 09, 2010 04:01

Simplifique a expressão com radicais duplos abaixo:

\frac{\sqrt[]{\sqrt[4]{8}+\sqrt[]{\sqrt[]{2}-1}}-\sqrt[]{\sqrt[4]{8}-\sqrt[]{\sqrt[]{2}-1}}}{\sqrt[]{\sqrt[4]{8}-\sqrt[]{\sqrt[]{2}+1}}}

Resposta:
Dica:
\sqrt[]{2} (dica : igualar a expressão a x e elevar ao quadrado os dois lados)


Assunto: Simplifique a expressão com radicais duplos
Autor: MarceloFantini - Qua Ago 11, 2010 05:46

É só fazer a dica.


Assunto: Simplifique a expressão com radicais duplos
Autor: Soprano - Sex Mar 04, 2016 09:49

Olá,

O resultado é igual a 1, certo?