Added completeness of predicate calculus proof
Added completeness of predicate calculus proof