Open main menu

Changes

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..."
* '''Fórmulas'''<!--
--><p>{{#ev:youtube|OqcmQGaJjl0}}</p>
* Algumas ''comparações'' entre as linguagens proposicional e de primeira ordem<!--
--><p>{{#ev:youtube|NuMzq-9i25o}}</p>

== Para reflexão ==

*

== Veja também ==

* [[Definição recursiva da linguagem proposicional]]
* [[Sintaxe da Lógica de Primeira Ordem]]

== Links externos ==

* [https://pt.wikipedia.org/wiki/Sintaxe_%28l%C3%B3gica%29 Sintaxe (lógica)]