111
edits
Changes
Semântica formal para a lógica proposicional (view source)
Revision as of 20:30, 15 October 2020
, 20:30, 15 October 2020→Links externos
* [[Semântica formal para a Lógica Proposicional Clássica]]Da '''validade de sequentes''' e da '''correção de regras'''<!----><p>{{#ev:youtube|bIxOFR0elFo}}</p>* [[Semântica formal para a Lógica Proposicional Intuicionista]] [AGUARDEDa '''validade de fórmulas'''<!]----><p>{{#ev:youtube|GUh5XOjgsWw}}</p>
== Para reflexão ==
== Veja também ==
* [[Semântica formal para a Lógica Proposicional Clássica]]
* [[Semântica formal para a Lógica Proposicional Intuicionista]]
* [[Acarretamento]]
* [[Correção e completude]]
* [[Introdução Computacional à Lógica Matemática]]
== 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)]