Difference between revisions of "Sintaxe da lógica proposicional"
Jump to navigation
Jump to search
(Created page with "* '''Fórmulas'''<!-- --><p>{{#ev:youtube|OqcmQGaJjl0}}</p> * Algumas ''comparações'' entre as linguagens proposicional e de primeira ordem<!-- --><p>{{#ev:youtube|NuMzq-9i2...") |
Tag: 2017 source edit |
||
| Line 11: | Line 11: | ||
* [[Definição recursiva da linguagem proposicional]] | * [[Definição recursiva da linguagem proposicional]] | ||
| − | * [[Sintaxe da | + | * [[Sintaxe da lógica de primeira ordem]] |
== 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)] | ||
Revision as of 12:58, 6 October 2020
- Fórmulas
- Algumas comparações entre as linguagens proposicional e de primeira ordem
