por fff » Sáb Fev 07, 2015 09:32
Para A, B fórmulas quaisquer da lógica proposicional, mostre que as seguintes fórmulas são teoremas do sistema dedutivo L:
Axiomas a usar:
https://fenix.tecnico.ulisboa.pt/downloadFile/3779572226826/slides-parte2.pdf (Slide 9)
- Anexos
-
- Untitled.png (1.69 KiB) Exibido 1498 vezes
-
fff
- Colaborador Voluntário
-
- Mensagens: 103
- Registrado em: Sáb Dez 21, 2013 11:30
- Formação Escolar: GRADUAÇÃO
- Área/Curso: Engenharia Informática
- Andamento: cursando
Voltar para Lógica
Se chegou até aqui, provavelmente tenha interesse pelos tópicos relacionados abaixo.
Aproveite a leitura. Bons estudos!
-
- Teorema dos Conjuntos, Outra Pergunta de logica
por moyses » Qua Jan 25, 2012 09:48
- 4 Respostas
- 3398 Exibições
- Última mensagem por moyses
Qui Jan 26, 2012 13:11
Álgebra Elementar
-
- sistema de equações - lógica
por ViniRFB » Qua Jan 30, 2013 14:50
- 3 Respostas
- 2651 Exibições
- Última mensagem por ViniRFB
Qua Jan 30, 2013 17:36
Equações
-
- [Lógica Digital] Sistema Numérico Conversão Base X - Base 10
por Luc4sPaulo » Sex Fev 17, 2017 12:32
- 0 Respostas
- 4158 Exibições
- Última mensagem por Luc4sPaulo
Sex Fev 17, 2017 12:32
Lógica
-
- Conceito Formal de Limites
por mindy » Qua Abr 06, 2011 14:50
- 2 Respostas
- 3631 Exibições
- Última mensagem por mindy
Sex Abr 08, 2011 14:15
Cálculo: Limites, Derivadas e Integrais
-
- DEFINIÇÃO FORMAL DE LIMITE
por Jadiel Carlos » Qua Mai 24, 2017 14:31
- 0 Respostas
- 3060 Exibições
- Última mensagem por Jadiel Carlos
Qua Mai 24, 2017 14:31
Cálculo: Limites, Derivadas e Integrais
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.
