[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 1433 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 1 visitante

 


Tópico Popular

Assunto: Conjunto dos números racionais.
Autor: scggomes - Sex Fev 18, 2011 10:38

Olá ! Tenho essa dúvida e não consigo montar o problema para resolução:

Qual é o racional não nulo cujo o quadrado é igual à sua terça parte ?

Grata.

Assunto: Conjunto dos números racionais.
Autor: MarceloFantini - Sex Fev 18, 2011 12:27

x^2 = \frac{x}{3}

Assunto: Conjunto dos números racionais.
Autor: scggomes - Sex Fev 18, 2011 12:55

também pensei que fosse assim, mas a resposta é \frac{1}{3}.

Obrigada Fantini.

Assunto: Conjunto dos números racionais.
Autor: MarceloFantini - Sex Fev 18, 2011 13:01

x^2 = \frac{x}{3} \Rightarrow x^2 - \frac{x}{3} = 0 \Rightarrow x \left(x - \frac{1}{3} \right) = 0

Como x \neq 0:

x - \frac{1}{3} = 0 \Rightarrow x = \frac{1}{3}

O que você fez?

Assunto: Conjunto dos números racionais.
Autor: scggomes - Sex Fev 18, 2011 16:17

eu só consegui fazer a igualdade, não consegui desenvolver o restante, não pensei em fatoração, mas agora entendi o que vc fez.

Obrigada.

Powered by phpBB © phpBB Group.

phpBB Mobile / SEO by Artodia.

Índice do fórum