Die uitsluitlike doel van hierdie program is genereer, en die vertoon, waarheidstabelle.
Hierdie gratis weergawe ondersteun alle gewone connect van klassieke logika, wat is ontkenning, samewerking, (inklusiewe) disjunksie, conditonal (materiaal implikasie), en biconditional (materiaal ekwivalensie), sowel as die konstantes 1 en 0 monogram waarheid en leuen, onderskeidelik. 'N cool ding is dat, buiten die ietwat vervelig standaard notasie van logika, kan jy Lukasiewicz se vaartbelyn, blink Poolse notasie gebruik, ook.
En dit stop nie hier nie. As jy die down-to-earth, gesonde verstand soort persoon, sal jy vind dit bemoedigend dat by verstek, die program maak gebruik van die klassieke, twee-gewaardeer, logika. Maar as jy meer van die avontuurlustige tipe, nooit stop kort van 'n onderneming, sal jy bly dat waarheidstabelle vir Android ondersteun 'n aantal nie-klassieke, multi-gewaardeer stelsels van logika, ook om te leer. Nooit 'n rivier tree twee keer, en twee negatiewe maak nie 'n bevestiging, om so te praat!
Opgedateer op
14 Nov. 2013