525
edits
Changes
Semântica formal para a lógica de primeira ordem (view source)
Revision as of 13:37, 6 October 2020
, 13:37, 6 October 2020no edit summary
* [[Semântica formal para a Lógica Da '''verdade''' e da '''falsidade''' de Primeira Ordem Clássica]]* [[Semântica formal para a Lógica fórmulas em uma interpretação de Primeira Ordem Intuicionista]] [AGUARDEprimeira ordem específica<!]----><p>{{#ev:youtube|j41Sw3dJ1rU}}</p>
== Para reflexão ==
== Veja também ==
* [[Semântica formal para a Lógica de Primeira Ordem Clássica]]
* [[Semântica formal para a Lógica de Primeira Ordem Intuicionista]] [AGUARDE!]
* [[Acarretamento]]
* [[Correção e completude]]