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

From Logic Wiki
Jump to navigation Jump to search
Tag: 2017 source edit
Tag: 2017 source edit
Line 17: Line 17:
  
 
* [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]
 +
* [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]

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

Links externos