525
edits
Changes
Exercícios de semântica formal para a Lógica de Primeira Ordem Clássica (view source)
Revision as of 21:43, 5 October 2020
, 21:43, 5 October 2020criando verbete
== Validade global de sequentes ==
*
== Validade de sequentes em uma interpretação fixa ==
*
== Correção de regras ==
*
== Para reflexão ==
*
== Veja também ==
*
== Links externos ==
*
*
== Validade de sequentes em uma interpretação fixa ==
*
== Correção de regras ==
*
== Para reflexão ==
*
== Veja também ==
*
== Links externos ==
*