Exercícios de semântica formal para a Lógica de Primeira Ordem Clássica
Jump to navigation
Jump to search
Contents
Validade global de sequentes
▷
▶
◁▷
▷
▶
Validade de sequentes em interpretações particulares
▷
Correção de regras
Regras para o símbolo de igualdade