Open main menu

Definição recursiva da linguagem proposicional

Revision as of 22:34, 11 September 2020 by Jmarcos (talk | contribs) (adicionando video)
  • Como um conjunto indutivamente definido

  • Como uma álgebra absolutamente livre (e também como objeto inicial da categoria associada)

    [VIDEO]

Para reflexão

  • Como seria a definição recursiva estrutural de substituição de átomos por fórmulas, de modo a consistir em um endomorfismo sobre a álgebra das fórmulas?

    Notação:   (denotando o resultado de substituir, na fórmula   todas ocorrências do átomo   pela fórmula  )

Veja também

Links externos