Introduction múltiple: El problema de la generalidad múltiple es una falla en la lógica tradicional que se utiliza para explicar ciertos intuitivamente válida inferences.For ejemplo, un problema de generalidad múltiple se forma intuitiva por lo que si, A veces Lion es temido por todos los deer.then se trata lógicamente que: Todos los ciervos tienen miedo de al menos una sintaxis Lion.The de la lógica tradicional (TL) permisos exactamente cuatro tipos de oraciones: "Todos Como son B", "No Como son B", "algunos como son B" y "Algunos como no son B ". Cada tipo es una sentencia cuantificada que contiene exactamente un cuantificador. Dado que las frases anteriores contienen cada uno dos cuantificadores ( 'algunos' y 'cada' en la primera frase y "todos" y "al menos uno" en la segunda frase), que no pueden ser adecuadamente representados en TL. La mejor TL puede hacer es incorporar el segundo cuantificador de cada frase en el segundo término, haciendo así los términos que suenan artificiales "temido por cada ratón" y "miedo-de-al-menos-uno-gato '. Esto, en efecto, "entierra" estos cuantificadores, que son esenciales para la validez de la inferencia, dentro de los términos con guiones. De ahí la frase "Algún gato es temido por todos los ratones" está alloted la misma forma lógica como la frase "Algún gato tiene hambre". Y así, la forma lógica en el TL es: Veamos algunos tipos de frase en el problema de múltiples generality.Types Sentencia - Problema de la Generalidad múltiple: La notación de la lógica tradicional (TL) permite sólo cuatro tipos de oraciones. Ellos están siguiendo, supongamos dos estados como M y Sra N.All son Ns, la Sra No son Ns, algunos Estados miembros están Ns y algunos EM no son tipos Ns .Estos son llamados como una sentencia cuantificada, que contiene sólo un cuantificador. Si las frases tienen los dos cuantificadores, a continuación, ambos no están representados en la lógica tradicional. Mira el ejemplo anterior, la primera frase contiene algunos y cada palabra y la segunda frase contiene todos y al menos uno. Así que para la mejor lógica tradicional, que tenemos que hacer es quitar el segundo cuantificador de las frases anteriores. Es decir que tenga que quitar temido por todos los ciervos y con miedo de al menos un león. Por lo tanto, la sentencia Algunos león es temido por todos los ciervos se cambia a formas lógicas como Algunos león tiene hambre. Por lo tanto, la lógica tradicional es, algunos Estados miembros son NsAll EM son Ns.Using predicado Calculus- problema de la Generalidad múltiple: Usando moderna cálculo de predicados, nos encontramos con las declaraciones anteriores son unclear.Some León es temido por todos los medios deerIt (Algunos León se teme ) por cada deer.That es, para todos los ciervos D, habrá un león L, tal que L es temido por D, 'AA' D. (ciervos (D)? 'EE' L. (león (L) ' "los temores (D, L))), pero la afirmación anterior también puede significar Algunos león es (temido por todos los ciervos), existe un León L, tal que para cada ciervos D, L es temido por D.'EE '^^ L. (León (L) '^^' 'AA'D. (ciervos (D)? Fears (D, L))) el ejemplo anterior muestra la importancia del alcance de los cuantificadores como para todos y no existe.