Logicheck

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

A truth table generated from a set of logical expressions

The result of testing an invalid argument

Project Activity

See All Activity >

License

GNU General Public License version 3.0 (GPLv3)

Follow Logicheck

Logicheck Web Site

Other Useful Business Software

$300 Free Credits to Build on Google Cloud

New customers can spin up VMs, build with AI, and query data at no cost.

Put your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.

Start Free

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

Programming Language

Python

Related Categories

Python Education Software, Python Exam Software

Registered

2016-12-07

Similar Business Software

Mentornity

Mentornity is mentoring and coaching program software for organizations that run structured programs and need to show what came of them. It covers the full cycle: enrolment, matching, scheduling, session tracking, feedback and reporting. Each program runs under its own branding and its own...

See Software
Jotform

Trusted by over 25 million users, Jotform is an all-in-one, no-code platform that simplifies data collection, automation, and online sales. Using its drag-and-drop Form Builder, businesses can create customized forms and surveys to collect leads, payments, and e-signatures. With 10,000+...

See Software
Bookinglayer

Bookinglayer is a booking and management platform built specifically for retreat centers, surf camps, outdoor operators, and wellness or boutique properties sell accommodation and activities together. No hotel PMS was built to sell nights in a room, with no way to schedule a lesson, cap a group...

See Software
Park With Us

Managing your campground has never been this simple. Park With Us is the world’s most user-friendly campground management software, and it’s always free for you. ✅ Effortless Reservation Management – Our intuitive drag-and-drop interface makes handling short-term and seasonal bookings a...

See Software
Synap

Synap is an award-winning exam platform that empowers organisations to deliver secure, online exams with ease. Save time and reduce your workload for creating, marking, and analysing exams. Customise your tests with multiple-choice and written question types, timers, randomisation, and...

See Software
Coursebox AI

Coursebox is an AI course creator and LMS in one: the easiest way to create exceptional training. Turn a prompt or the documents you already have into a full course with quizzes, videos and scenarios in minutes. Coursebox works like a senior learning designer on your team. Give Coursebox your...

See Software