Sisältö
- Määritelmä - Mitä Quantifier tarkoittaa?
- Johdanto Microsoft Azureen ja Microsoft Cloud | Tämän oppaan läpi opit mitä pilvipalvelussa on kyse ja kuinka Microsoft Azure voi auttaa sinua siirtämään ja johtamaan yritystä pilvestä.
- Techopedia selittää Quantifierin
Määritelmä - Mitä Quantifier tarkoittaa?
Loogisessa mielessä kvantifioija on kielielementti, joka auttaa generoimaan kvantifioinnin, mikä on rakenne, joka mainitsee tietyn avoimen kaavan tyydyttävien näytteiden lukumäärän tietyllä diskurssialueella. Kvantifioijia käytetään laajalti logiikassa, luonnollisissa kielissä ja diskreetissä matematiikassa.
Johdanto Microsoft Azureen ja Microsoft Cloud | Tämän oppaan läpi opit mitä pilvipalvelussa on kyse ja kuinka Microsoft Azure voi auttaa sinua siirtämään ja johtamaan yritystä pilvestä.
Techopedia selittää Quantifierin
Kvantitaattoreita käytetään kvantisoiduissa lausekkeissa, joissa kvantisoijat sitoutuvat vapaisiin muuttujiin. Toisin sanoen predikaattien muuttujat määritetään kvantisoijilla. Predikaattisessa logiikassa käytetään kahta tunnettua kvantisointiainetta: universaali ja eksistentiaalinen kvantifioija. Yleinen kvantifioija väittää, että sen laajuudessa olevat lausunnot ovat totta jokaiselle yksilöllisen muuttujan arvolle, kun taas eksistentiaalisessa kvantifioijassa se väittää, että sen laajuudessa olevat lausunnot ovat totta vain tietylle tietyn muuttujan arvolle. Yleismaailmallista kvantifikaattoria merkitään symbolilla ∀, joka on kuin käänteinen A. Eksistentiaalinen kvantifioija on merkitty symbolilla ∃, joka on kuin taaksepäin E.
Kvantifioijajärjestys määrittelee tietyn kaavan sisällä olevien kvantifioijien mahdollinen pesimissyvyys. On huomattava, että kvantisointien järjestys on ratkaisevan tärkeä logiikan merkitykselle. Kvantifioijilla on laaja käyttö predikaattilogiikassa ja diskreetissä matematiikassa, koska ne auttavat annetun loogisen lauseen kääntämisessä.