Dedução natural - exercício 1

แชร์
ฝัง
  • เผยแพร่เมื่อ 3 ม.ค. 2025

ความคิดเห็น • 13

  • @carlosaugusto4792
    @carlosaugusto4792 3 ปีที่แล้ว

    Muito boa a sua explicação, simples, objetiva!!!!

  • @AcademiadePlatao384
    @AcademiadePlatao384 ปีที่แล้ว

    Tem playlist aqui sobre esse conteúdo da lógica?

  • @carloscoelho4791
    @carloscoelho4791 8 ปีที่แล้ว

    Já neste está melhor,,,obrigado

  • @gusentediado
    @gusentediado 10 หลายเดือนก่อน

    Eu não consegui entender o motivo da introdução ao & na linha 4

  • @elisilva103
    @elisilva103 3 ปีที่แล้ว

    Tô procurando um vídeo que explica do zero e não acho

  • @diegoboreah2189
    @diegoboreah2189 7 ปีที่แล้ว

    Se tivesse mais premissas, como chegaria a quantidade de linhas ?

    •  7 ปีที่แล้ว +1

      Boa noite!
      A quantidade de linhas é um referencial que eu coloco para os meus alunos na prova. A priori, não sabemos a quantidade de linhas apenas olhando para a questão. Eu coloco para ajudá-los.
      O que você tem que fazer é colocar a primeira e a última linha e ir desenvolvendo.

  • @prof.williankalinowski
    @prof.williankalinowski 7 ปีที่แล้ว

    p & (q entao r) não seria assim? Desta forma que esta no quadro, sem os parenteses, não fica ambíguo?

    •  7 ปีที่แล้ว +1

      Boa tarde! O correto é (p^q)-> r. Os parênteses foram omitidos porque pela ordem de prioridade sempre resolvemos a conjunção antes da implicação.

  • @AzulBatata
    @AzulBatata 6 ปีที่แล้ว

    Existe alguma calculadora para Dedução Natural? Ja procurei tanto e não acho.

    •  6 ปีที่แล้ว

      Boa noite! Desconheço se existe alguma ferramenta que automatize estas resoluções.

    • @historiaefilosofiaparaoens4800
      @historiaefilosofiaparaoens4800 4 ปีที่แล้ว

      Existe sim... O programa Fitch ... Está no livro Linguagem, logica, prova do John barwise ... Tem edição em português

    • @gmnryan
      @gmnryan 2 ปีที่แล้ว

      @@historiaefilosofiaparaoens4800 esse programa fitch é só pra montar uma representação gráfica de uma prova pra pc, nao calcula nada acho