Introduction multipla: Il problema di generalità multipla è un fallimento in logica tradizionale che viene utilizzato per spiegare certa intuitivamente valida inferences.For esempio, un problema di generalità multipla è intuitivamente modo che se, Sufficiente Lion è temuto da ogni deer.then viene logicamente che: Tutti i cervi hanno paura di almeno una sintassi Lion.The di logica tradizionale (TL) permette esattamente quattro tipi frase: "tutto come sono B", "No Come sono B", "alcuni come sono B" e "Alcuni Poiché non sono B ". Ogni tipo è una frase quantificata contenente esattamente un quantificatore. Dal momento che le frasi di cui sopra contengono ciascuno due quantificatori ( 'un po' e 'ogni' nella prima frase e 'tutto' e 'almeno un' nella seconda frase), non possono essere adeguatamente rappresentate in TL. Il meglio TL può fare è quello di incorporare il secondo quantificatore da ogni frase nel secondo periodo, rendendo così i termini artificiali suono 'temuto-by-ogni-topo' e 'paura-di-at-almeno-un-gatto'. Questo in effetti "seppellisce" questi quantificatori, che sono essenziali per la validità della deduzione, nei termini con un trattino. Da qui la frase "Alcuni gatto è temuto da tutti i mouse" è alloted la stessa forma logica come la frase "Alcuni gatto è affamato". E così la forma logica di TL è: Vediamo alcuni tipi di frase in Problema di molteplici generality.Types di frase - Problema di generalità multipla: la notazione di logica tradizionale (TL) permette solo quattro tipi di frase. Stanno seguendo, supponiamo due affermazioni come M e N.All Ms sono Ns, No Ms sono Ns, alcuni Stati membri sono Ns e alcuni Stati membri non sono tipi Ns .Questi sono chiamati come una frase quantificata, che contiene un solo quantificatore. Se le frasi hanno i due quantificatori, quindi entrambi non sono rappresentati in logica tradizionale. Guardate l'esempio precedente, la prima frase contiene alcuni e ogni parola e la seconda frase contiene tutti ed almeno uno. Così, per la miglior logica tradizionale, che dobbiamo fare è quello di rimuovere il secondo quantificatore dalle frasi di cui sopra. Cioè dobbiamo per rimuovere temuto da ogni cervi e paura di almeno un leone. Quindi la frase Alcuni leone è temuto da ogni cervo è cambiato in forme logiche come alcuni leone è affamato. Pertanto, la logica tradizionale è, alcuni Stati membri sono NsAll SM sono Ns.Using predicato Calculus- problema di generalità multipla: Utilizzando moderno calcolo dei predicati, troviamo le dichiarazioni di cui sopra sono unclear.Some Lion è temuto da tutti i mezzi deerIt (Alcuni Leone si teme ) per ogni deer.That è, per ogni cervi D, ci sarà un leone L, tale che L è temuto da D, 'AA' D. (Deer (D)? 'EE' L. (Leone (L) ' 'Fears (D, L))), ma la dichiarazione di cui sopra può anche significare Alcuni leone è (temuti da ogni cervo), esiste un leone L, tale che per ogni cervi D, L è temuto da D.'EE' ^^ L. (Leone (L) '^^' 'AA'D. (Deer (D)? Fears (D, L))) l'esempio sopra mostra l'importanza del campo di applicazione quantificatori come per tutti ed esiste.