Difference between revisions of "Sintaxe da lógica proposicional"

From Logic Wiki
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
 
(3 intermediate revisions by 2 users not shown)
Line 11: Line 11:
  
 
* [[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