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
 
(3 intermediate revisions by one other user not shown)
Line 1: Line 1:
* [[Semântica formal para a Lógica Proposicional Clássica]]
+
* Da '''validade de sequentes''' e da '''correção de regras'''<!--
* [[Semântica formal para a Lógica Proposicional Intuicionista]] [AGUARDE!]
+
--><p>{{#ev:youtube|bIxOFR0elFo}}</p>
 +
* Da '''validade de fórmulas'''<!--
 +
--><p>{{#ev:youtube|GUh5XOjgsWw}}</p>
  
 
== Para reflexão ==
 
== Para reflexão ==
Line 8: Line 10:
 
== Veja também ==
 
== Veja também ==
  
 +
* [[Semântica formal para a Lógica Proposicional Clássica]]
 +
* [[Semântica formal para a Lógica Proposicional Intuicionista]]
 
* [[Acarretamento]]
 
* [[Acarretamento]]
 
* [[Correção e completude]]
 
* [[Correção e completude]]
 +
* [[Introdução Computacional à Lógica Matemática]]
  
 
== 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