525
edits
Changes
Sintaxe da lógica proposicional (view source)
Revision as of 12:57, 6 October 2020
, 12:57, 6 October 2020Created 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)]
--><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)]