Eliminação de quantificadores

4 novembro 2008, 15:30 • Maria Cristina De Sales Viana Serôdio Sernadas

Conjunto de eliminação para apresentação. Apresentação com eliminação de quantificadores. Condição suficiente para que um conjunto seja de eliminação para uma apresentação. Condição suficiente para que apresentação com eliminação de quantificadores seja exaustiva.