Αυτή η δωρεάν εφαρμογή επιτρέπει στους χρήστες της προτεινόμενης λογικής να εκτελούν λειτουργίες με την ίδια ευκολία όπως αυτή που προσφέρει ένας μαθηματικός υπολογιστής. Διευκολύνει τους μαθητές της λογικής παρέχοντας σημαντική ανατροφοδότηση. Για να είμαστε ακριβείς, με τη χρήση αυτής της εφαρμογής μπορούμε να καθορίσουμε αν: (1) η εισροή είναι καλά διαμορφωμένη και, αν όχι, γιατί όχι, (2) οι φράσεις είναι ταυτολογίες, αντιφάσεις ή ενδεχόμενες, (3) σύνολα προτάσεων είναι συνεπείς ή ασυνεπείς και (4) τα επιχειρήματα είναι έγκυρα ή άκυρα. Παράγει επίσης πίνακες αλήθειας που μπορούν να αντιγραφούν σε άλλες εφαρμογές. Από αυτήν την έκδοση, ο υπολογιστής περιορίζεται σε σημασιολογικές λειτουργίες.
Ενημερώθηκε στις
2 Φεβ 2023