Universele quantoren en equivalenties/definities

[Bart Bogaerts]

Een universele quantor voor de hele formule is meestal alleen zinvol als het in beide subformules voorkomt als variabele (we hebben geen zinvol tegenvoorbeeld gevonden). Als dit niet zo is, moet er een WARNING gegooid worden.

[Broes De Cat]

Removing milestone: Later (automated comment)