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)]](/latexrender/pictures/b0e61d1f5ceecd48de1a5e3540ecb258.png "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)]](/latexrender/pictures/ad782706c6558aefd63c0e303cfa4e4c.png "2-(\forall x)P(x) e (\exists x)Q(x)\rightarrow (\exists x)[P(x) e Q(x)]")
-
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
- 5801 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
- 26871 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
- 3644 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
- 2625 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
- 7146 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:
[calculo] derivada
Autor:
beel - Seg Out 24, 2011 16:59
Para derivar a função
(16-2x)(21-x).x
como é melhor fazer?
derivar primeiro sei la, ((16-2x)(21-x))' achar o resultado (y)
e depois achar (y.x)' ?
Assunto:
[calculo] derivada
Autor:
MarceloFantini - Seg Out 24, 2011 17:15
Você poderia fazer a distributiva e derivar como um polinômio comum.
Assunto:
[calculo] derivada
Autor:
wellersonobelix - Dom Mai 31, 2015 17:26
Funciona da mesma forma que derivada de x.y.z, ou seja, x'.y.z+x.y'.z+x.y.z' substitui cada expressão pelas variáveis e x',y' e z' é derivada de cada um
Assunto:
[calculo] derivada
Autor:
wellersonobelix - Dom Mai 31, 2015 17:31
derivada de (16-2x)=-2
derivada de (21-x)=-1
derivada de x=1
derivada de (16-2x)(21-x)x=-2.(21-x)x+(-1).(16-2x)x +1.(16-2x)(21-x)
Powered by phpBB © phpBB Group.
phpBB Mobile / SEO by Artodia.
