De Propositiecalculator


			Update & Testmachine

Met deze machine kan je een redenering opzetten met behulp van updates en tests, zoals dit gedemonsteerd werd tijdens het redeneercollege van 30/10.

KEYS

SITUATIONS

Instructies

Je kan de formules intikken als bij de propositiecalculator. Voer eerst de argumenten/premisses/aannames van je redenering één voor één in. Elke keer als je een formule invoert geef je deze aan de machine door af te sluiten met "UPDATE". De machine elimineert dan de mogelijkheden die deze formule tegenspreken. Hierna geef je met "NEW" aan dat je een nieuw argument wil invoeren. En herhaalt de procedure. Als je klaar bent met het invoeren van al je argumenten, kan je conclusies testen. Tik je conclusie in en druk op "TEST". De machine kan nu op drie verschillende manieren reageren. Als het groene lampje gaat branden is je redenering geldig: in alle overgebleven situaties is de conclusie waar. Als het oranje of rode lampje gaat branden, is je gevolgtrekking ongeldig. Indien het rode lampje gaat branden is zelfs het tegendeel van je conclusie het geval, indien het oranje lampje gaat branden is je conclusie niet inconsistent met je aannames. Hij zou later nog kunnen gaan gelden. Tegenvoorbeelden tegen je conclusie worden aangegeven door de situaties een rode achtergrond hebben gekregen.

Je kan alsnog je argumenten versterken, door weer op "NEW" te drukken en de machine met een volgend argument "up te daten". Je kan ook je conclusie verzwakken door een nieuwe test uit te voeren. Als je een nieuwe redenering wilt opzetten, druk dan op "CLEAR". Met de knop "DEL" kan je fouten tijdens het intikken verbeteren. Als een formule niet welgevormd is, dan gaat het blauwe lampje branden. Je kan je verbetering met "DEL" wijzigen, of helemaal weghalen door weer "NEW" aan te klikken.

Een goed "whodunnit"-voorbeeld, wat ook tijdens het college van 30/10 is besproken, is de volgende redenering. Geef als argumenten pvqvr (iemand heeft het gedaan), -(p^q^r) (niet alle drie hebben het gedaan), p->q (q is een handlanger van p) en r->p (p is een handlanger van r). Er zijn nu twee situaties over 010 en 110. Als je de machine nu test op p, geeft hij de eerste situatie als tegenvoorbeeld van je conclusie. Het oranje lampje gaat branden (p kan het gedaan hebben). Test je op q, dan gaat het groene lampje branden: je conclusie is geldig (q heeft het in ieder geval gedaan). Als je op r test, dan gaat het rode lampje branden en beide situaties zijn tegenvoorbeelden: -r is dus zeker het geval (r heeft het niet gedaan).

Update & Testmachine

Instructies