Generiskt, explicit universellt och implicit universellt påståenden
Kan någon förklara för mig vad skillnaderna mellan ett generiskt påstående, explicit universellt påstående och ett implicit universellt påstående är och vad de heter på engelska?
Gissar att du menar det som på engelska kallas universal quantification. Ett explicit universellt påstående tolkar jag då som något börjar med en "for all..."-symbol: ∀. Ett implicit universellt påstående tolkar jag som t.ex. "ett heltal är också ett reellt tal", vilket implicit påstår att "för alla heltal x, så gäller att x är reellt".
Gustor skrev:Gissar att du menar det som på engelska kallas universal quantification. Ett explicit universellt påstående tolkar jag då som något börjar med en "for all..."-symbol: ∀. Ett implicit universellt påstående tolkar jag som t.ex. "ett heltal är också ett reellt tal", vilket implicit påstår att "för alla heltal x, så gäller att x är reellt".
Tack!
