Open main menu
Logic Wiki
Search
Modelos (lógica)
Read in another language
Watch this page
Edit
Semântica formal para a lógica proposicional
Semântica formal para a lógica de primeira ordem
Para reflexão
Veja também
Acarretamento
(consequência semântica / EN:
entailment
)
Introdução Computacional à Lógica Matemática
Links externos
Acarretamento (Wikipédia)