|
UPDATE CALCULATOR |
|||
|
GEBRUIKSAANWIJZING. Formules kunnen ingevoerd worden als update waarna de
situaties waarin de desbetreffende formule onwaar is worden geëlimineerd.
Formules kunnen ook getest worden. Indien de overgebleven situaties allen de formule
ondersteunen gaat het groene lampje branden: de geteste formule is een geldig
gevolgtrekking uit de formules die ingevoerd zijn als updates (gegevens). Als
het rode lampje gaat branden dan is geteste formule onwaar in alle overgebleven situaties:
de ontkenning van de formule is dan een geldige gevolgtrekking van de updates. In het
geval van oranje licht is de waarheidswaarde van de geteste formule onzeker. Het blauwe
lampje is om foute invoer te detecteren.
|
TEGENVOORBEELDEN. Indien er nog situaties over zijn die een geteste formule tegenspreken
dan wordt dit in het scoreboard bijgehouden door deze falsifiërende situaties te kleuren met een
rode achtergrond.
INVOER. Formules kunnen simpelweg ingevoerd worden met de knoppen links onder (donkergrijze achtergrond). Daarna kunnen de invoerknoppen gebruikt worden (lichtgrijze achtergrond). Verbeteringen kunnen uitgevoerd worden door met de DEL-knop terugwaarts symbolen te elimineren. De knoppen UPDATE en TEST spreken voor zich. Om een nieuwe update of test door te voeren kies eerst op NEW om het formule-scherm te legen. CLEAR zet alles weer in de begintoestand waarin alle situaties (weer) mogelijk zijn. De ingevoerde updates zijn dan ongedaan gemaakt. |
|
| TERUG |