kvantor
kvantor er i prædikatslogik en operation, der binder variable. Mest benyttet er eksistenskvantoren ∃ og alkvantoren ∀. Er således x og y hele tal, betyder ∀x∃y (y>x) 'for alle x eksisterer et y, så y er større end x
kvantor er i prædikatslogik en operation, der binder variable. Mest benyttet er eksistenskvantoren ∃ og alkvantoren ∀. Er således x og y hele tal, betyder ∀x∃y (y>x) 'for alle x eksisterer et y, så y er større end x
kvantorer. I eksemplet ovenfor blev der kvantoriseret over mennesker, altså objekter. Man kunne også tillade kvantorer, som fx løber over egenskaber. I mange situationer behøver man sådanne kvantorer, fx hvis man vil formalisere Leibniz' princip, som siger, at hvis to
kvantorer over egenskaber ved egenskaber, hvilket giver tredjeordenslogik osv. Tillader man kvantorer af alle ordener, får man typeteori. Den moderne prædikatslogik blev grundlagt af Gottlob Frege, men Frege skelnede ikke mellem kvantorer af forskellig orden. Hans logik var i det
kvantor. Hvor væren er en meningsløs tingsliggørelse af eksistenskvantoren "der eksisterer mindst et x" i udtryk af typen "der eksisterer mindst et x, der har egenskaben P", er intet en ligeledes meningsløs tingsliggørelse af samme kvantor i udtryk af typen
Et førsteordensudsagn er i matematikken en formel, hvori enhver variabel står under en kvantor. Læs mere i Den Store Danske prædikatslogik logik
kvantorer, som har den egenskab, at A kan bevises, hvis, og kun hvis der findes et udsagn Un fra følgen, som kan bevises i udsagnslogikken. Jacques Herbrands sætning simplificerer formelle beviser i prædikatslogikken væsentligt, og den spiller en stor rolle
eller begreber, der erstatter kvalitative egenskaber eller begreber; fx når egenskaberne "varme" og "kulde" erstattes af "temperatur". I logikken betegner kvantifikation anvendelse af kvantorer til at udtrykke generelle udsagns logiske form; se prædikatslogik. Læs mere i Den Store Danske logik
Kvantifikator, (lat. kvantificere + -ator), d.s.s. kvantor.
nye symboler; fx ∧ ("og"), som anvendt på udsagnene p og q giver udsagnet p∧q, eller ¬ ("ikke"), som anvendt på p giver ¬p. Operatorer omfatter alle de logiske konstanter, herunder konnektiver og kvantorer, samt de modallogiske konstanter; se også modallogik.
kvantorer som alle, nogle samt prædikater over for argumenter, mens betydningen af "normale" ord blev taget for givet; se også prædikatslogik. Lingvistikken Inden for sprogvidenskaben tog semantikken derimod, ligesom grammatikken, udgangspunkt i ord og beskrev generelle betydningsrelationer, fx hyponymi om