[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 1521 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 2 visitantes

 


Tópico Popular

Assunto: simplifiquei e achei...está certo?????????????
Autor: zig - Sex Set 23, 2011 13:57

{(0,05)}^{-\frac{1}{2}}=\frac{10}{\sqrt[5]}{(0,05)}^{-\frac{1}{2}}=\frac{10}{\sqrt[2]{5}}

Assunto: simplifiquei e achei...está certo?????????????
Autor: Vennom - Sex Set 23, 2011 21:41

zig escreveu:{(0,05)}^{-\frac{1}{2}}=\frac{10}{\sqrt[5]}{(0,05)}^{-\frac{1}{2}}=\frac{10}{\sqrt[2]{5}}


Rpz, o negócio é o seguinte:
Quando você tem uma potência negativa, tu deve inverter a base dela. Por exemplo: {\frac{1}{4}}^{-1} = \frac{4}{1}

Então pense o seguinte: a fração geratriz de 0,05 é \frac{1}{20} , ou seja, 1 dividido por 20 é igual a 0.05 . Sendo assim, a função final é igual a vinte elevado à meio.
Veja: {0,05}^{-\frac{1}{2}} = {\frac{1}{20}}^{-\frac{1}{2}} = {\frac{20}{1}}^{\frac{1}{2}} = \sqrt[2]{20}

A raiz quadrada de vinte, você acha fácil, né?

Espero ter ajudado.

Assunto: simplifiquei e achei...está certo?????????????
Autor: fraol - Dom Dez 11, 2011 20:23

Nós podemos simplificar, um pouco, sqrt(20) da seguinte forma:

sqrt(20) = sqrt(4 . 5) = sqrt( 2^2 . 5 ) = 2 sqrt(5).

É isso.

Assunto: simplifiquei e achei...está certo?????????????
Autor: fraol - Dom Dez 11, 2011 20:24

Nós podemos simplificar, um pouco, \sqrt(20) da seguinte forma:

\sqrt(20) = \sqrt(4 . 5) = \sqrt( 2^2 . 5 ) = 2 \sqrt(5).

É isso.

Powered by phpBB © phpBB Group.

phpBB Mobile / SEO by Artodia.

Índice do fórum