Rules Of Inference In Predicate Logic