Definição recursiva da linguagem proposicional

From Logic Wiki
Jump to navigation Jump to search
  • Como um conjunto indutivamente definido

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

Para reflexão

  • Como deveria ser 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