Changes

Semântica formal para a lógica de primeira ordem (view source)

67 bytes added , 13:20, 6 October 2020

no edit summary

* [[Semântica formal para a Lógica de Primeira Ordem Clássica]]

* [[Semântica formal para a Lógica de Primeira Ordem Intuicionista]] [AGUARDE!]

== Para reflexão ==

* [[Acarretamento]]

* [[Correção e completude]]

* [[Introdução Computacional à Lógica Matemática]]

== Links externos ==

*

525

edits