Versionen fra 14. nov. 2019, 12:08 redigér Kjeldjoh (diskussion \| bidrag) Udvidede bekræftede brugere, Patruljanter 12.358 edits Alkvantor og Eksistenskvantor er sammenskrevet hertil. ← Gå til forrige forskel		Versionen fra 14. maj 2021, 19:47 redigér fjern redigering Steenthbot (diskussion \| bidrag) Botter, Undtaget fra IP-blokering 751.959 edits m WPCleaner v2.04 - Fixed using WP:WPCW (Titel linket i tekst (Bot)) Gå til næste forskel →
Linje 6: == Alkvantoren == ''Alkvantoren'', '''<math> \forall{}\,</math>''', er en [[logik\|logisk]] [[kvantor]], der betyder ''for alle''. Helt præcist læses : <math> \forall{x}\, P </math> således: ''For alle x gælder at P''. Linje 13: == Eksistenskvantoren == ''Eksistenskvantoren'', ∃, er en [[logik\|logisk]] [[kvantor]] anvendt indenfor [[prædikatslogik]]ken. Formlen : <math> \exists{x}\, P \quad </math> læses: ''Der findes mindst én x, for hvilken det gælder at P''.

Kvantor: Forskelle mellem versioner