AL-QUANTOR
afkorting gebruikt in de mathematische logica, voor ‘voor alle ...’. Meest gebezigde notaties: (∀x), (∧ x) en (x) (zie Quantor). Voorbeelden: 1. (∀x)(P(x)), spreek uit: ‘voor alle x geldt P(x)’ (waar P(x) een eigenschap is); 2. (∀x)(x2...