• 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: Unesp - 95 Números Complexos
Autor: Alucard014 - Dom Ago 01, 2010 18:22

(UNESP - 95) Seja L o Afixo de um Número complexo a=\sqrt{8}+ i em um sistema de coordenadas cartesianas xOy. Determine o número complexo b , de módulo igual a 1 , cujo afixo M pertence ao quarto quadrante e é tal que o ângulo LÔM é reto.


Assunto: Unesp - 95 Números Complexos
Autor: MarceloFantini - Qui Ago 05, 2010 17:27

Seja \alpha o ângulo entre o eixo horizontal e o afixo a. O triângulo é retângulo com catetos 1 e \sqrt{8}, tal que tg \alpha = \frac{1}{sqrt{8}}. Seja \theta o ângulo complementar. Então tg \theta = \sqrt{8}. Como \alpha + \theta = \frac{\pi}{2}, o ângulo que o afixo b formará com a horizontal será \theta, mas negativo pois tem de ser no quarto quadrante. Se b = x+yi, então \frac{y}{x} = \sqrt {8} \Rightarrow y = x\sqrt{8}. Como módulo é um: |b| = \sqrt { x^2 + y^2 } = 1 \Rightarrow x^2 + y^2 = 1 \Rightarrow x^2 + 8x^2 = 1 \Rightarrow x = \frac{1}{3} \Rightarrow y = \frac{\sqrt{8}}{3}.

Logo, o afixo é b = \frac{1 + i\sqrt{8}}{3}.