Changes

Introdução Computacional à Lógica Matemática (view source)

38 bytes added , 14:24, 28 August 2020

m

no edit summary

* [[Relações de Consequência]]

* [[Lógica Proposicional]]

* [[Lógica de Primeira Ordem]]

* [[Sintaxe (lógica)]]

* [[~~Sistemas~~ Formalismos dedutivos]]

* [[Modelos (lógica)]]

525

edits