Info Propositional Logic Syntax and Semantic of Propositional Logic, Truth Tables, Semantic Tableaux, DPLL/CDCL