arneish / PropositionalLogic

An Implementation of Semantic Tableaux Method to establish validity, consistency or inconsistency of a Propositional Logic expression

PropositionalLogic: Semantic Tableaux Method and Resolution Refutation in C++

1. An Implementation of Semantic Tableaux Method to establish validity, consistency or inconsistency of a Propositional Logic expression
2. An Implementation of Resolution Refutation in Proposotional Logic to evaluate the Logical Consequence of a query