This program is intended to be useful for testing Boolean logic or propositional logic. It sets out logical expressions with symbols such as "AND" and "OR" in a graphical user interface. A truth table can then be generated for any such set of expressions. It can also be used to test the validity of deductive arguments - the program will advise whether an argument is valid and if not, list the counter examples to the argument.

Features

  • Create logic expressions
  • View truth tables for any expression
  • Test the validity of deductive arguments

Project Samples

Project Activity

See All Activity >

Categories

Education, Exam

License

GNU General Public License version 3.0 (GPLv3)

Follow Logicheck

Logicheck Web Site

Other Useful Business Software
Forever Free Full-Stack Observability | Grafana Cloud Icon
Forever Free Full-Stack Observability | Grafana Cloud

Our generous forever free tier includes the full platform, including the AI Assistant, for 3 users with 10k metrics, 50GB logs, and 50GB traces.

Built on open standards like Prometheus and OpenTelemetry, Grafana Cloud includes Kubernetes Monitoring, Application Observability, Incident Response, plus the AI-powered Grafana Assistant. Get started with our generous free tier today.
Create free account
Rate This Project
Login To Rate This Project

User Reviews

Be the first to post a review of Logicheck!

Additional Project Details

Operating Systems

Windows

Languages

English

Intended Audience

Education

User Interface

Qt

Programming Language

Python

Related Categories

Python Education Software, Python Exam Software

Registered

2016-12-07