Difference between revisions of "Sintaxe da lógica proposicional"
Jump to navigation
Jump to search
Tag: 2017 source edit |
Tag: 2017 source edit |
||
| (2 intermediate revisions by 2 users not shown) | |||
| Line 12: | Line 12: | ||
* [[Definição recursiva da linguagem proposicional]] | * [[Definição recursiva da linguagem proposicional]] | ||
* [[Sintaxe da lógica de primeira ordem]] | * [[Sintaxe da lógica de primeira ordem]] | ||
| + | * [[Introdução Computacional à Lógica Matemática]] | ||
== Links externos == | == Links externos == | ||
* [https://pt.wikipedia.org/wiki/Sintaxe_%28l%C3%B3gica%29 Sintaxe (lógica)] | * [https://pt.wikipedia.org/wiki/Sintaxe_%28l%C3%B3gica%29 Sintaxe (lógica)] | ||
| + | * [http://pt.wikipedia.org/wiki/Assinatura_%28l%C3%B3gica%29 Assinatura (lógica)] | ||
| + | * [http://pt.wikipedia.org/wiki/F%C3%B3rmula_%28l%C3%B3gica%29 Fórmula (lógica)] | ||
| + | * [http://pt.wikipedia.org/wiki/F%C3%B3rmula_bem_formada Fórmula bem formada] | ||
Latest revision as of 20:41, 15 October 2020
- Fórmulas
- Algumas comparações entre as linguagens proposicional e de primeira ordem
Para reflexão
Veja também
- Definição recursiva da linguagem proposicional
- Sintaxe da lógica de primeira ordem
- Introdução Computacional à Lógica Matemática
