525
edits
Changes
Semântica formal para a lógica proposicional (view source)
Revision as of 13:35, 6 October 2020
, 13:35, 6 October 2020no edit summary
* [[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]] [AGUARDE!]
* [[Acarretamento]]
* [[Correção e completude]]