28517118
Beschreibung
Karteikarten von Sergio Roberto, aktualisiert more than 1 year ago
|
Erstellt von Sergio Roberto
vor fast 4 Jahre
|
|
| Frage | Antworten |
| É 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 |
Möchten Sie mit GoConqr kostenlos Ihre eigenen Karteikarten erstellen? Mehr erfahren.