En el lenguaje de predicados en lógica matemática, se usa el símbolo: !, llamado cuantificador existencial, ante puesto a una variable para decir que "existe al menos" un elemento del conjunto, , al que hace referencia la variable, que cumple la proposición escrita a continuación.​

Property Value
dbo:abstract
  • En el lenguaje de predicados en lógica matemática, se usa el símbolo: !, llamado cuantificador existencial, ante puesto a una variable para decir que "existe al menos" un elemento del conjunto, , al que hace referencia la variable, que cumple la proposición escrita a continuación.​ (es)
  • En el lenguaje de predicados en lógica matemática, se usa el símbolo: !, llamado cuantificador existencial, ante puesto a una variable para decir que "existe al menos" un elemento del conjunto, , al que hace referencia la variable, que cumple la proposición escrita a continuación.​ (es)
dbo:wikiPageID
  • 67930 (xsd:integer)
dbo:wikiPageInterLanguageLink
dbo:wikiPageLength
  • 5109 (xsd:integer)
dbo:wikiPageRevisionID
  • 130187599 (xsd:integer)
dct:subject
rdfs:comment
  • En el lenguaje de predicados en lógica matemática, se usa el símbolo: !, llamado cuantificador existencial, ante puesto a una variable para decir que "existe al menos" un elemento del conjunto, , al que hace referencia la variable, que cumple la proposición escrita a continuación.​ (es)
  • En el lenguaje de predicados en lógica matemática, se usa el símbolo: !, llamado cuantificador existencial, ante puesto a una variable para decir que "existe al menos" un elemento del conjunto, , al que hace referencia la variable, que cumple la proposición escrita a continuación.​ (es)
rdfs:label
  • Cuantificador existencial (es)
  • Cuantificador existencial (es)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageRedirects of
is owl:sameAs of
is foaf:primaryTopic of