Difference between revisions of "Semântica formal para a lógica proposicional"

From Logic Wiki
Jump to navigation Jump to search
Tag: 2017 source edit
Tag: 2017 source edit
 
Line 18: Line 18:
 
== Links externos ==
 
== Links externos ==
  
−
*
+
* [http://pt.wikipedia.org/wiki/Fun%C3%A7%C3%A3o_booleana Função booleana (Wikipédia)]
 +
* [http://pt.wikipedia.org/wiki/Fun%C3%A7%C3%A3o_de_verdade Função de verdade (Wikipédia)]
 +
* [http://pt.wikipedia.org/wiki/Valor_de_verdade Valor de verdade (Wikipédia)]
 +
* [http://pt.wikipedia.org/wiki/Valora%C3%A7%C3%A3o_%28l%C3%B3gica%29 Valoração (Wikipédia)]
 +
* [http://pt.wikipedia.org/wiki/Validade Validade (Wikipédia)]
 +
* [http://pt.wikipedia.org/wiki/Completude_funcional Completude funcional (Wikipédia)]
 +
* [http://pt.wikipedia.org/wiki/Completude_%28l%C3%B3gica%29 Completude (Wikipédia)]
 +
* [http://pt.wikipedia.org/wiki/Corre%C3%A7%C3%A3o Correção (Wikipédia)]

Latest revision as of 20:30, 15 October 2020

  • Da validade de sequentes e da correção de regras

  • Da validade de fórmulas

Para reflexão

Veja também

Links externos

Retrieved from "http://carol.dimap.ufrn.br/logicwiki/index.php?title=Semântica_formal_para_a_lógica_proposicional&oldid=1478"