- changed milestone to Later
Universele quantoren en equivalenties/definities
Issue #12
new
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.
Comments (3)
-
-
- removed milestone
Removing milestone: Later (automated comment)
-
- marked as minor
- marked as enhancement
- Log in to comment