|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
door achtereen de knoppen
in te drukken.
De formule komt op de display bovenaan zoals je dat gewend bent van een
gewone handrekenmachine. Indien je een fout maakt, dan moet je
"CLEAR" indrukken. De display wordt leeggemaakt, en je kan
overnieuw beginnen.
Als je klaar bent met het intikken laat je de
berekening uitvoeren door "ENTER" in te drukken. De waarderingen
die de formule waar maken verschijnen nu in de tabel "MODELS", de overige waarderingen, dat zijn de
waarderingen die de desbetreffende formule onwaar maken komen terecht in
de tabel "COUNTERMODELS" (tegenmodellen).
De waarderingen worden met 0-en en 1-en aangegeven. Zo betekent:
 |
 |
|
de waardering die p en r op 1, en q op 0 afbeeldt.
Als er geen resultaat gegeven wordt, maar in plaats daarvan het blauwe
lampje gaat knipperen, dan is de gegeven formule niet wel-gevormd. Druk
op "CLEAR", en probeer opnieuw.
Als alle waarderingen de formule waar maken, dan is deze dus een tautologie.
Dit wordt aangegeven door een knipperend groen lampje. Als alle waarderingen de formule waar maken,
dan is dit een semantisch inconsistente formule. In dat geval gaat het rode lampje
knipperen. Indien de formule zowel modellen als tegenmodellen heeft, dan heet deze contingent.
Dit wordt aangegeven door middel van het oranje lampje.
Deze calculator laat niet de berekeningen zien die het maakt. Om de berekeningsprocedure te begrijpen
hebben we waarheidstabellen nodig. Hiervoor kan je de waarheidstabulator
gebruiken.