Correção e completude

Revision as of 01:15, 26 September 2020 by Jmarcos (talk | contribs) (vídeo adicionado)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Para reflexão

Qual destes resultados pode ser útil na verificação de que um dado sequente não é derivável? Como?

Veja também

Links externos

Retrieved from "http://carol.dimap.ufrn.br/logicwiki/index.php?title=Correção_e_completude&oldid=1250"