b'\n_START_ARTICLE_\nGeneraliza\xc3\xa7\xc3\xa3o existencial\n_START_SECTION_\nQuine\n_START_PARAGRAPH_\nInstancia\xc3\xa7\xc3\xa3o universal e Generaliza\xc3\xa7\xc3\xa3o Existencial, s\xc3\xa3o dois aspectos de um \xc3\xbanico principio, para ao inv\xc3\xa9s de dizer que "\xe2\x88\x80x x=x" implica "S\xc3\xb3crates=S\xc3\xb3crates", n\xc3\xb3s poder\xc3\xadamos assim dizer que a contradi\xc3\xa7\xc3\xa3o "S\xc3\xb3crates\xe2\x89\xa0S\xc3\xb3crates"\xc2\xa0implica "\xe2\x88\x83x x\xe2\x89\xa0x". O principio personificado nessas duas opera\xc3\xa7\xc3\xb5es \xc3\xa9 a liga\xc3\xa7\xc3\xa3o entre quantifica\xc3\xa7\xc3\xb5es e os enunciados \xc3\xbanicos que est\xc3\xa3o relacionados a eles como exemplos. No entanto \xc3\xa9 um principio somente por cortesia. Isso ocorre somente no caso onde h\xc3\xa1 denomina\xc3\xa7\xc3\xb5es nos termos, e adiante, por refer\xc3\xaancia.[4]'