LOGIC PROBLEMS

Welcome to logicproblems.org! This system is capable of validating whether or not a given string of text is a Well Formed Formula or not, and give a person a visualization of that formula,and possibly the errors that cause it not to be a well formed formula... An instructor can create logic proof problems by supplying the system with a set of assumptions and a desired conclusion... An interactive web application for solving Propositional Logic problems and proofs