questoes_de_logica_para_computacao
Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
| questoes_de_logica_para_computacao [2016/09/16 19:54] – adolfont | questoes_de_logica_para_computacao [2020/11/19 11:42] (current) – external edit 127.0.0.1 | ||
|---|---|---|---|
| Line 18: | Line 18: | ||
| * O que são proposições? | * O que são proposições? | ||
| * O que são conectivos lógicos? | * O que são conectivos lógicos? | ||
| + | * O que é uma tabela-verdade? | ||
| === Semântica === | === Semântica === | ||
| * O que é uma valoração? | * O que é uma valoração? | ||
| + | * O que significa dizer que uma fórmula é consequência lógica de um conjunto de fórmulas? | ||
questoes_de_logica_para_computacao.1474055692.txt.gz · Last modified: 2020/11/19 11:42 (external edit)