28517118
Description
Flashcards by Sergio Roberto, updated more than 1 year ago
|
Created by Sergio Roberto
almost 4 years ago
|
|
| Question | Answer |
| É a parte da Lógica Matemática que estuda a validade de argumentos apresentados em uma linguagem própria, a linguagem proposicional. | CÁLCULO PROPOSICIONAL |
| Estabelece símbolos, regras de formação e regras de dedução de validade. | ASPECTO SINTÁTICO |
| Consiste na valoração das fórmulas com atribuição da propriedade de verdadeiro ou falso. | ASPECTO SEMÂNTICO |
Want to create your own Flashcards for free with GoConqr? Learn more.