Introdução: O problema da generalidade múltipla é uma falha na lógica tradicional que é usada para explicar certa intuitivamente válida inferences.For exemplo, problema da generalidade múltipla é intuitivamente para que, se, Alguns Lion é temido por todos os deer.then se trata logicamente que: Todos os veados têm medo de pelo menos uma sintaxe Lion.The da lógica tradicional (TL) permite que exatamente quatro tipos de frase: "Todos os As são Bs", "Não As são Bs", "Alguns As são Bs" e "Algumas Como não são Bs". Cada tipo é uma sentença quantificada contendo exatamente um quantificador. Desde as frases acima de cada contêm dois quantificadores ( 'some' e 'todos os' na primeira frase e 'all' e 'pelo menos um' no segundo período), eles não podem ser adequadamente representados em TL. A melhor TL pode fazer é incorporar o segundo quantificador de cada frase para o segundo mandato, tornando assim os termos artificiais sonoridade 'temia-a-cada-rato "e" medo-of-a-menos-um-gato'. Este efeito "enterra" esses quantificadores, que são essenciais para a validade da inferência, dentro dos termos com hífen. Daí a frase "Alguns gato é temido por cada rato" é atribuído a mesma forma lógica como a frase "Alguns gato está com fome". E assim a forma lógica em TL é: Vejamos alguns tipos de sentença no problema de múltiplas generality.Types de frase - Problema de generalidade múltipla: a notação da lógica tradicional (TL) permite que apenas quatro tipos de frase. Eles estão seguindo, Suponhamos duas declarações como M e N.All Ms são Ns, No Ms são Ns, alguns Estados-Membros são Ns e alguns Estados-Membros não são tipos Ns .Estes são chamados como uma sentença quantificada, que contém apenas um quantificador. Se as sentenças têm os dois quantificadores, então ambos não estão representados na lógica tradicional. Olhe o exemplo acima, a primeira frase contém alguns e cada palavra e a segunda frase contém todos e pelo menos um. Assim, para o melhor lógica tradicional, o que precisamos fazer é remover o segundo quantificador das frases acima. Ou seja temos que remover temido por todos os veados e com medo de pelo menos um leão. Portanto, a frase Alguns leão é temido por todos os veados é alterado para formas lógicas como algum leão está com fome. Portanto, a lógica tradicional é, alguns Estados-Membros estão NsAll Ms são Ns.Using predicado Calculus- Problema de generalidade múltipla: Usando moderna cálculo de predicados, encontramos as afirmações acima são unclear.Some Lion é temido por todos os meios deerIt (Alguns Lion é temido ) por cada deer.That seja, para cada veados D, haverá um leão L, de tal forma que L é temida por D, 'AA' D. (cervo (D)? 'EE' L. (Lion (L) ' 'Fears (D, L))), mas a afirmação acima também pode significar Alguns Lion é (temido por todos os veados), existe um Leão L, de tal forma que para cada veados D, L é temida por D.'EE' ^^ L. (Lion (L) '^^' 'AA'D. (cervo (D)? Fears (D, L))) o exemplo acima mostra a importância do âmbito de quantificadores como para todos e existe.