Apresentação ao método de dedução natural na lógica de 1ª ordem e as ligações que a consequência sintática possui com a consequência semântica.
Categorias
Lógica: uma introdução — parte 5
Tag: Sintaxe
Os CharásOs Charás
Apresentação ao método de dedução natural na lógica de 1ª ordem e as ligações que a consequência sintática possui com a consequência semântica.