Truth Tables

waarheid-tabellen voor klassieke logica en een aantal niet-klassieke systemen

Het enige doel van dit programma is het genereren en weergeven, waarheid tafels.

Deze gratis versie ondersteunt alle gebruikelijke connectieven van klassieke logica, dat is negatie, conjunctie, (inclusief) disjunctie, conditonal (materiële implicatie), en Biconditional (materiële gelijkwaardigheid), evenals de constanten 1 en 0 aanduiding van waarheid en leugen, respectievelijk. Een mooie optie is dat, naast de wat saaie standaard notatie van de logica, kunt u Lukasiewicz's gestroomlijnde, glanzend Poolse notatie, ook.

En het stopt niet hier. Als u de down-to-earth, gezond verstand soort persoon, u vindt het geruststellend dat, standaard, het programma maakt gebruik van klassieke, twee-waarde, logica. Maar als je meer van het avontuurlijke type, nooit stoppen kort van een onderneming, zult u worden verrast om te leren dat de Waarheid Tabellen voor Android ondersteunt een aantal niet-klassieke, meerdere waarden systemen van de logica, ook. Ga nooit een rivier twee keer, en twee negatieven niet een belofte af te leggen, om zo te zeggen!