Prezados. É corrente usarmos os termos “fraca” e “forte” para nomear as seguintes propriedades de sistemas formais: Correção fraca, Correção forte, Completude fraca e Completude forte.
Gostaria de saber se existem outros termos, além de “fraca” e “forte”, para denotar essas mesmas propriedades. Abraços, Ricardo. -- Dr. Ricardo Pereira Tassinari Departamento de Filosofia UNESP - FFC/Marília www.marilia.unesp.br/ricardotassinari _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
