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

[Lógica] Dúvida sobre hipótese e conclusão

[Lógica] Dúvida sobre hipótese e conclusão

Mensagempor Euler Gauss 90 » Dom Abr 23, 2017 12:57

Este é o exemplo 15 do livro da Judith seguido de sua resolução:
Use lógica proposicional para provar [A -> (A -> B)] -> (A -> B)
Usando o método dedutivo, temos duas hipóteses ao invés de uma e queremos obter B.
1. A -> (A -> B) hip
2. A hip
3. A -> B 1,2, mp
4. B 2,3, mp

Eu não entendo porquê A é uma hipótese. E por que a conclusão é B e não (A -> B)?

Segue outras dúvidas na imagem:
Imagem
Euler Gauss 90
Novo Usuário
Novo Usuário
 
Mensagens: 1
Registrado em: Dom Abr 23, 2017 12:50
Formação Escolar: GRADUAÇÃO
Área/Curso: Computação
Andamento: cursando

Voltar para Lógica

 



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

Quem está online

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

 



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)


cron