Kvantor: Forskelle mellem versioner
Content deleted Content added
LouisCle (diskussion | bidrag) m →Eksistenskvantifikation: Ret LaTeX |
LouisCle (diskussion | bidrag) m →Eksistenskvantifikation: Min fejl: Rettet igen |
||
Linje 15:
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}
givet at ''P(a,b,c)'' er et prædikat for ''a·b = c''.
| |||