Introduction: Le problème de généralité multiple est un échec dans la logique traditionnelle qui est utilisée pour expliquer certains intuitivement valide inferences.For exemple, problème de généralité multiple est intuitivement de sorte que si, Certains Lion est redouté par tous les deer.then il vient logiquement que: Tous les cerfs ont peur d'au moins une syntaxe Lion.The de la logique traditionnelle (TL) permis quatre types de phrases exactement: «Tous les A sont B", "Non Comme sont hôtes", "Certains A sont B» et "Certains qui ne sont pas hôtes". Chaque type est une phrase quantifiée contenant exactement un quantificateur. Étant donné que les phrases ci-dessus contiennent chacun deux quantificateurs ( «certains» et «tous les» dans la première phrase et «tous» et «au moins un» dans la deuxième phrase), ils ne peuvent pas être représentés de manière adéquate dans TL. La meilleure TL peut faire est d'incorporer le second quantificateur de chaque phrase dans le second terme, rendant ainsi les termes artificiels à consonance «redouté par tous les souris» et «peur-de-au-moins-un-chat». Cela a pour effet "enterre" ces quantificateurs, qui sont essentiels à la validité de l'inférence, dans les termes composés. D'où la phrase «Certains chat est redouté par toutes les souris" est alloted la même forme logique que la phrase «Certains chat a faim". Et la forme logique en TL est: Voyons quelques types de phrase problème de plusieurs generality.Types de phrase - Problème Généralité Multiple: La notation de la logique traditionnelle (TL) permet seulement quatre types de phrases. Ils suivent, Supposons deux déclarations que M et Mme N.All sont Ns, No Mme sont Ns, Mme Certains sont Ns et Mme Certains ne sont pas types Ns .Ces sont appelés comme une phrase quantifiée qui ne contient qu'un seul quantificateur. Si les phrases ont les deux quantificateurs, alors les deux ne sont pas représentés dans la logique traditionnelle. Regardez l'exemple ci-dessus, la première phrase contient certains et chaque mot et la deuxième phrase contient tous et au moins un. Donc, pour la meilleure logique traditionnelle, nous devons faire est d'enlever le second quantificateur des phrases ci-dessus. C'est que nous devons enlever redouté par tous les cerfs et peur d'au moins un Lion. Par conséquent, la phrase Certains lion est redouté par tous les cerfs est changé à des formes logiques comme certains lion a faim. Par conséquent, la logique traditionnelle est, Mme Certains sont NsAll Mme Ns.Using sont prédicat Calculus- problème Généralité multiples: Utilisation de calcul des prédicats moderne, nous trouvons les déclarations ci-dessus sont unclear.Some Lion est redouté par tous les moyens deerIt (Certains Lion est à craindre ) par chaque deer.That est, pour chaque cerf D, il y aura un lion L, tel que L est redouté par D, 'AA' D. (deer (D)? 'EE' L. (Lion (L) ' "les craintes (D, l))) Mais la déclaration ci-dessus peut également signifier Certains Lion est (redouté par tous les cerfs), Il existe un Lion l, de telle sorte que pour chaque cerf D, l est redouté par D.'EE '^^ L. (Lion (l) '^^' 'AA'D. (Deer (D)? Fears (D, l))) l'exemple ci-dessus montre l'importance de la portée des quantificateurs comme pour tous et il existe.