About: Quantifier (logic)     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : owl:Thing, within Data Space : dbpedia.org associated with source document(s)
QRcode icon
http://dbpedia.org/describe/?url=http%3A%2F%2Fdbpedia.org%2Fresource%2FQuantifier_%28logic%29

In natural languages, a quantifier turns a sentence about something having some property into a sentence about the number (quantity) of things having the property. Examples of quantifiers in English are "all", "some", "many", "few", "most", and "no"; examples of quantified sentences are "all people are mortal", "some people are mortal", and "no people are mortal", they are considered to be true, true, and false, respectively. In mathematical logic, in particular in first-order logic, a quantifier achieves a similar task, operating on a mathematical formula rather than an English sentence.

AttributesValues
rdf:type
rdfs:label
  • مكمم
  • Quantificador (lògica)
  • Kvantifikátor
  • Quantor
  • Kvantigilo
  • Quantifier (logic)
  • Cuantificador
  • Zenbatzaile (logika)
  • Quantificateur (logique)
  • Quantificatore
  • 量化
  • 양화
  • Kwantor (logica)
  • Kwantyfikator
  • Quantificação
  • Квантор
  • Kvantifikator
  • Квантор
  • 量化 (数理逻辑)
rdfs:comment
  • في الرياضيات، تسمى التعبيرات "لِكُلِّ" و "يوجد على الأقل/بعض"، المستخدمة في صياغة القضايا الرياضية في المنطق الإسنادي، التكميمات أو التسويرات (بالإنجليزية: Quantifications). يطلق على الرموز التي تمثلها بلغة شكلية المُكَمِّمَات أو المسوّرات أو المقيدات (بالإنجليزية: Quantifiers).
  • A lògica i teoria de conjunts, un quantificador s'utilitza per indicar quants elements d'un conjunt donat compleixen amb certa propietat. Existeixen molts tipus de quantificadors, però potser els més estudiats i utilitzats siguin: * Quantificador universalPer a tot x, i. .. * Quantificador existencialHi ha almenys un x, i. .. * Quantificador existencial únicHi ha exactament un x, i. .. * Negació del quantificador existencialNo hi ha cap x, i. ..
  • En lógica formal, un cuantificador es una expresión que indica la cantidad de veces que un predicado o propiedad P se satisface dentro de una determinada clase (por ejemplo, pertenencia, equivalencia u orden). Existen muchos tipos de cuantificadores, entre los más utilizados están:​ * Cuantificador universalPara todo x, y... * Cuantificador existencialExiste al menos un x, y... * Cuantificador existencial únicoExiste exactamente un x, y... * Negación del cuantificador existencialNo existe ningún x, y...
  • En mathématiques, les expressions « pour tout » et « il existe », utilisées pour formuler des propositions mathématiques dans le calcul des prédicats, sont appelées des quantifications. Les symboles qui les représentent en langage formel sont appelés des quantificateurs (ou autrefois des quanteurs).
  • 量化(りょうか、英: Quantification)とは、言語や論理学において、論理式が適用される(または満足される)議論領域の個体の「量」を指定すること。
  • Nella logica i quantificatori sono espressioni come "qualcosa" (quantificatore esistenziale) e "ogni cosa" (quantificatore universale) e le loro controparti simboliche: * ∃ (esiste almeno un) * ∀ (per ogni) il nome "quantificatori" è legato al fatto che danno un'informazione su quanto è grande l'estensione in cui è valido un predicato. A questi si aggiunge un caso particolare del quantificatore esistenziale, che è il quantificatore unico (si legge: "esiste ed è unico", che equivale a dire "è uno e uno solo").
  • 논리학이나 언어학에서, 양화(量化, quantification)란 자유변항을 가진 논리식이 적용되는 (domain of discourse)에 있는 개체의 '양'(量)을 지정하는 것을 이르는 말이다. 또한 이러한 역할을 하는 요소를 양화사(量化詞, quantifier), 정량자(定量子)라고 한다. 술어논리의 두 가지의 가장 일반적인 양화사로는, "모든 ~에 대하여"라는 의미의 보편 양화사(∀, universal quantifier)와 와 "~가 존재한다"는 의미의 존재 양화사(∃, existential quantifier)가 있다.
  • Een kwantor (soms wordt ook quantor gebruikt) is een taalelement in de wiskunde, in het bijzonder in de logica.Kwantoren binden variabelen.
  • Kwantyfikator – termin przyjęty w matematyce i logice matematycznej na oznaczenie zwrotów: dla każdego, istnieje takie i im pokrewnych, a także odpowiadającym im symbolom wiążącym zmienne w formułach. Są podstawowym elementem w rozwoju logiki pierwszego rzędu. Kwantyfikatory odgrywają ważną rolę w formułowaniu twierdzeń i definicji matematycznych.
  • En kvantifikator, ibland kvantor, av engelskans quantity och latinets quantus (av en viss sort), är inom logiken en operator som binder en fri variabel i ett logiskt predikat, och på så sätt bildar ett uttryck vars giltighet beror på antal objekt som uppfyller det okvantifierade uttrycket.
  • Ква́нтор — логічний оператор, що перетворює всякий предикат на предикат меншої місності, зв'язуючи деякі змінні початкового предиката. Повсюдно вживаються два квантори: універсальний (позначається ‘’) та екзистенціальний (позначається ‘’). Для будь-якого предиката вирази та читаються як «всі мають властивість » та «існує (бодай один) , що має властивість » відповідно.
  • 在语言和逻辑中,量化是指定一个谓词的有效性的广度的构造,就是说指定谓词在一定范围的事物上成立的程度。产生量化的语言元素叫做量词。结果的句子是量化的句子,我们称我们已经量化了这个谓词。量化在自然语言和形式语言中都使用。在自然语言中,量词的例子有“所有”、“某些”;“很多”、“少量”、“大量”也是量词。在形式语言中,量化是从旧公式产生新公式的(constructor)。语言的语义指定了如何把这个构造子解释为一个有效性的广度。量化是变量约束操作的实例。 在谓词逻辑的两类基本量化是全称量化和存在量化。这些概念被更详细的叙述于在单独文章中;下面我们讨论适用于二者的特征。其他种类的量化包括唯一量化。
  • Kvantifikátory jsou symboly používané v matematice a logice (predikátové logice). Slouží pro vyjadřování míry přítomnosti dané vlastnosti (predikátu) v jisté třídě objektů. Rozlišují se dva základní druhy kvantifikátorů – univerzální (∀) s významem „pro každý“ a existenční (∃) s významem „existuje“.
  • Ein Quantor oder Quantifikator, die Re-Latinisierung des von C. S. Peirce eingeführten Ausdrucks „quantifier“, ist ein Operator der Prädikatenlogik. Neben den Junktoren sind die Quantoren Grundzeichen der Prädikatenlogik. Allen Quantoren gemeinsam ist, dass sie Variablen binden.
  • Kvantigilo estas signo en la predikata logiko, kiu signas kiom da objektoj havas iun econ. En la klasika logiko, oni uzas nur du kvantigilojn: la ekzistokvantigilon (signita per ∃) kaj la (signita per ∀). La ekzistokvantigilo signas ke la econ havas almenaŭ unu objekto, dum la universala kvantigilo signas ke la econ havas ĉiuj objektoj.
  • Logikan, kuantifikazioak zenbat alditan predikatu edo propietate P bat betetzen den formula ireki baten barruan adierazten du. (Esate baterako, pertenentzia, baliokidetasun edo orden erlazioetan). Kuantifikazioa sortzen duen hizkuntza elementuak zenbatzailea du izena. Zenbatzaile erabilienak unibertsala ( , x eta y guztietarako...) eta existentziala dira ( , gutxienez existitzen dira x eta y bat...). Adibidez, aritmetikan, zenbatzaileek zenbakiak infiniturantz doazela esaten baimentzen digute n guztietarako (non n zenbaki natural bat den) existitzen dela beste zenbaki bat (n-ren ondorengoa) n baino handiagoa dena idatziz ().
  • In natural languages, a quantifier turns a sentence about something having some property into a sentence about the number (quantity) of things having the property. Examples of quantifiers in English are "all", "some", "many", "few", "most", and "no"; examples of quantified sentences are "all people are mortal", "some people are mortal", and "no people are mortal", they are considered to be true, true, and false, respectively. In mathematical logic, in particular in first-order logic, a quantifier achieves a similar task, operating on a mathematical formula rather than an English sentence.
  • O termo Quantificação tem vários significados, gerais e específicos. Ele cobre, antes de mais nada, toda ação que quantifique observações e experiências, traduzindo-as para números através de contagem e mensuração. É, portanto, a base para a matemática e para a ciência.O quantificador é uma interjeição numeral,que,por vezes pode ser composto e decomposto. Os dois tipos fundamentais de quantificação na lógica de predicados são: a quantificação universal e a quantificação existencial. Outros casos de quantificação incluem a quantificação de unicidade.
  • Ква́нтор — общее название для логических операций, ограничивающих область истинности какого-либо предиката и создающих высказывание. Чаще всего упоминают: * Квантор всеобщности (обозначение: , читается: «для любого…», «для каждого…», «для всех…» или «каждый…», «любой…», «все…»). * Квантор существования (обозначение: , читается: «существует…» или «найдётся…»). В математической логике приписывание квантора к формуле называется связыванием или квантификацией.
rdfs:seeAlso
foaf:isPrimaryTopicOf
dct:subject
Wikipage page ID
Wikipage revision ID
Link from a Wikipage to another Wikipage
Faceted Search & Find service v1.17_git51 as of Sep 16 2020


Alternative Linked Data Documents: PivotViewer | iSPARQL | ODE     Content Formats:       RDF       ODATA       Microdata      About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 08.03.3319 as of Dec 29 2020, on Linux (x86_64-centos_6-linux-glibc2.12), Single-Server Edition (61 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2021 OpenLink Software