It contains Syntatic properties of propositional logic,Satisfiable formula,model formula,Unsatisfiable formulaRead less