Versionen fra 15. aug. 2019, 04:21 redigér LouisCle (diskussion \| bidrag) 465 edits m →‎Eksistenskvantifikation: Kolon ← Gå til forrige forskel		Versionen fra 15. aug. 2019, 04:26 redigér fjern redigering LouisCle (diskussion \| bidrag) 465 edits m →‎Eksistenskvantifikation Gå til næste forskel →
Linje 10: 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~~udsagn kan skrives formelt som: :<blockquote>For et naturligt tal, ''n'', ''n''·''n'' = 25</blockquote> Der er forskel på dette ~~udtryk~~udsagn 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:

Kvantor: Forskelle mellem versioner