Quantificadores Gramaticais

lingua-gem matemática. Assim, é com base em sua Begriffsschrift (Conceitografia, 1879) que se desenvolveram o cálculo proposicional e o cálculo dos predicados. Uma das maiores contribuições de Frege ao desenvolvimento da lógica foi a invenção do quantificador e o uso de variáveis para formalizar a generalidade na linguagem natural. Grande parte do pensamento d e Frege é voltada para questões de fundamentação da matemática, tais como a noção de prova e a natureza do número. Frege foi um…

lingua-gem matemática. Assim, é com base em sua Begriffsschrift (Conceitografia, 1879) que se desenvolveram o cálculo proposicional e o cálculo dos predicados. Uma das maiores contribuições de Frege ao desenvolvimento da lógica foi a invenção do quantificador e o uso de variáveis para formalizar a generalidade na linguagem natural. Grande parte do pensamento d e Frege é voltada para questões de fundamentação da matemática, tais como a noção de prova e a natureza do número. Frege foi…

as proposições compustas ou fórmulas, compostas :i partir das pruposições atômicas ;11 ravés dos ol)cradorcs lLÍgicos (negal~ã(), conjunção, altern~lnciaJ inlplicação e equivalência) e Llos '/II'/IItificaelores (u quantifkador de existência e u quantificador de universalidade) segundo '\l'tl'fminaclas regras. Assumc-se igualmente que existem na lógica apenas elois valores de verdade (, Iverdadeiro e o falsu), daduum certu conjuntu de proposições atômicas, supõe-se que se saiba .11 rihuir…

ação civil coletiva, ação rescisória, mandado de segurança etc. Todavia, este trabalho não teria chegado ao seu termo se não fosse a ajuda da minha esposa e companheira Michelle, a qual, num apoio incansável, foi a responsável por toda a revisão gramatical e jurídica do livro que ora apresento. Obrigado, amor, do fundo do coração. Este livro também lhe pertence. Também gostaria de mencionar o carinho e a compreensão dos meus filhos, de sangue e de coração, Guilherme e Luiz Fellipe, os…