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.
por 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)] 1-(\forall x)P(x)\rightarrow(\forall x)[P(x) ou Q(x)]](/latexrender/pictures/b0e61d1f5ceecd48de1a5e3540ecb258.png)
![2-(\forall x)P(x) e (\exists x)Q(x)\rightarrow (\exists x)[P(x) e Q(x)] 2-(\forall x)P(x) e (\exists x)Q(x)\rightarrow (\exists x)[P(x) e Q(x)]](/latexrender/pictures/ad782706c6558aefd63c0e303cfa4e4c.png)


-
henrique25
- 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
Se chegou até aqui, provavelmente tenha interesse pelos tópicos relacionados abaixo.
Aproveite a leitura. Bons estudos!
-
- [LÓGICA] simplificação lógica e leis de equivalência
por MatheusComp606 » Qua Ago 24, 2016 16:13
- 1 Respostas
- 5377 Exibições
- Última mensagem por adauto martins

Seg Ago 29, 2016 15:34
Lógica
-
- Lógica
por Neperiano » Qui Jun 19, 2008 16:48
- 17 Respostas
- 26331 Exibições
- Última mensagem por Neperiano

Sex Nov 11, 2011 15:51
Desafios Enviados
-
- lÓGICA
por Jaison Werner » Qui Set 15, 2011 11:28
- 2 Respostas
- 3488 Exibições
- Última mensagem por Neperiano

Qui Nov 10, 2011 15:31
Lógica e Conjuntos
-
- Lógica
por Pstefani » Ter Set 20, 2011 19:56
- 1 Respostas
- 2494 Exibições
- Última mensagem por MarceloFantini

Ter Set 20, 2011 21:40
Sistemas de Equações
-
- [lógica]
por Ed_29 » Qui Ago 09, 2012 21:25
- 5 Respostas
- 6906 Exibições
- Última mensagem por fraol

Sáb Ago 11, 2012 16:09
Conjuntos
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

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

o ângulo entre o eixo horizontal e o afixo

. O triângulo é retângulo com catetos

e

, tal que

. Seja

o ângulo complementar. Então

. Como

, o ângulo que o afixo

formará com a horizontal será

, mas negativo pois tem de ser no quarto quadrante. Se

, então

. Como módulo é um:

.
Logo, o afixo é

.
Powered by phpBB © phpBB Group.
phpBB Mobile / SEO by Artodia.