Kvantor: Forskelle mellem versioner
Content deleted Content added
LouisCle (diskussion | bidrag) Kategorier |
LouisCle (diskussion | bidrag) Eksistenskvantor, sektion |
||
Linje 5:
Kvantifikation anvendes også på [[Naturligt sprog|naturlige sprog]]; eksempler på kvantorer på [[Dansk (sprog)|dansk]] er ''for alle'', ''for nogle'', ''mange'', ''få'', ''meget'' og ''ingen''.
== Eksistenskvantifikation ==
Eksistenskvantoren, eller ∃, er fortolket som "der findes", "der er mindst én" og "for et".
Nedenunder ses et eksempel på en [[disjunktion]], der siger at produktet af mindst ét sæt to ens [[naturligt tal|naturlige tal]] giver 25.
:<blockquote>0·0 = 25, '''eller''' 1·1 = 25, '''eller''' 2·2 = 25, '''eller''' 3·3 = 25, og så videre.</blockquote>
Det ovenstående udtryk kan skrives formelt som
:<blockquote>For et naturligt tal, ''n'', ''n''·''n'' = 25</blockquote>
Der er forskel på dette udtryk og det første, da dette klart beskriver [[definitionsmængde|domænet]], der på det første ikke kan afgøres.
Eksemplet ovenover er sandt, da der netop findes ét sæt to ens naturlige tal hvis produkt giver 25 (''5·5 = 25''). Symbolsk kan dette skrives som:
:<math>\exists{n}\in \mathbb{N} P(n,n,25)</math>
givet at ''P(a,b,c)'' er et prædikat for ''a·b = c''.
== Referencer ==
| |||