Open main menu

Exercícios de semântica formal para a Lógica de Primeira Ordem Clássica

Revision as of 10:43, 17 October 2020 by Greati (talk | contribs)

Validade global de sequentes

  

  

  ◁▷  

  

  

Validade de sequentes em interpretações particulares

  

Correção de regras

Regras para o símbolo de igualdade

 


Para reflexão

Veja também

Links externos