Plural quantification
http://dbpedia.org/resource/Plural_quantification an entity of type: Work
In mathematics and logic, plural quantification is the theory that an individual variable x may take on plural, as well as singular, values. As well as substituting individual objects such as Alice, the number 1, the tallest building in London etc. for x, we may substitute both Alice and Bob, or all the numbers between 0 and 10, or all the buildings in London over 20 stories. The point of the theory is to give first-order logic the power of set theory, but without any "existential commitment" to such objects as sets. The classic expositions are Boolos 1984 and Lewis 1991.
rdf:langString
En lógica matemática, cuantificación plural es la teoría que establece que una variable individual x puede representar tanto valores plurales, como singulares. En ella no solo es posible reemplazar el valor de x por objetos individuales como Alicia, el número 1, el edificio más alto de Buenos Aires etc., sino que también es reemplazar juntos Alicia y Pedro, o todos los números del 0 al 10, o todos los edificios de Buenos Aires con más de 40 metros de altura.
rdf:langString
Na matemática e na lógica, a quantificação plural é a teoria na qual uma variável individual x pode representar múltiplos objetos (plural), assim como objetos individuais (singular). Assim, da mesma forma que podemos substituir objetos como Alice, o número 1, ou a maior construção em Londres, por x, nós também podemos representar por x várias pessoas (ex: Alice e Bob), todos os números de 0 até 10, ou todas as construções em Londres com 20 andares ou mais.
rdf:langString
rdf:langString
Cuantificación plural
rdf:langString
Plural quantification
rdf:langString
Quantificação plural
xsd:integer
444789
xsd:integer
1073049818
rdf:langString
En lógica matemática, cuantificación plural es la teoría que establece que una variable individual x puede representar tanto valores plurales, como singulares. En ella no solo es posible reemplazar el valor de x por objetos individuales como Alicia, el número 1, el edificio más alto de Buenos Aires etc., sino que también es reemplazar juntos Alicia y Pedro, o todos los números del 0 al 10, o todos los edificios de Buenos Aires con más de 40 metros de altura. La teoría se centra en otorgarle a la lógica de primer orden el poder que posee la teoría de conjuntos, aunque sin ningún "" con objetos tales como conjuntos.
rdf:langString
In mathematics and logic, plural quantification is the theory that an individual variable x may take on plural, as well as singular, values. As well as substituting individual objects such as Alice, the number 1, the tallest building in London etc. for x, we may substitute both Alice and Bob, or all the numbers between 0 and 10, or all the buildings in London over 20 stories. The point of the theory is to give first-order logic the power of set theory, but without any "existential commitment" to such objects as sets. The classic expositions are Boolos 1984 and Lewis 1991.
rdf:langString
Na matemática e na lógica, a quantificação plural é a teoria na qual uma variável individual x pode representar múltiplos objetos (plural), assim como objetos individuais (singular). Assim, da mesma forma que podemos substituir objetos como Alice, o número 1, ou a maior construção em Londres, por x, nós também podemos representar por x várias pessoas (ex: Alice e Bob), todos os números de 0 até 10, ou todas as construções em Londres com 20 andares ou mais. O objetivo desta teoria é fornecer à Lógica de primeira ordem característcas da teoria dos conjuntos, sem entretanto transformar os objetos em conjuntos. As exposições clássicas dessa teoria se devem a Boolos (1984) e a Lewis (1991).
xsd:nonNegativeInteger
16278