[Lógica formal] Mostrar que é um teorema do sistema dedutivo

AjudaMatematica.com! Aqui você compartilha sua dúvida ou solução!

  • Anúncio Global
    Respostas
    Exibições
    Última mensagem

[Lógica formal] Mostrar que é um teorema do sistema dedutivo

Regras do fórum
Responder

[Lógica formal] Mostrar que é um teorema do sistema dedutivo

Mensagempor 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
Untitled.png (1.69 KiB) Exibido 1290 vezes
Avatar do usuário
fff
Colaborador Voluntário
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 ao topo
Responder

Voltar para Lógica

 


Se chegou até aqui, provavelmente tenha interesse pelos tópicos relacionados abaixo.
Aproveite a leitura. Bons estudos!

  • Tópicos relacionados
    Respostas
    Exibições
    Última mensagem

Quem está online

Usuários navegando neste fórum: Nenhum usuário registrado e 13 visitantes

 


Tópico Popular

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}}}

Resposta:
Dica:
\sqrt[]{2} (dica : igualar a expressão a x 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.

Índice do fórum