Predicate Calculus from Symbolic Logic