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 1437 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
- 3230 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
- 2510 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
- 4035 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
- 3510 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
- 2982 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 0 visitantes
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}}}](/latexrender/pictures/981987c7bcdf9f8f498ca4605785636a.png "\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}](/latexrender/pictures/f21662d1cabab6e8b273a4b6f1cd663a.png "\sqrt[]{2}")
(dica : igualar a expressão a
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?
Powered by phpBB © phpBB Group.
phpBB Mobile / SEO by Artodia.
