Propositional and predicate calculuses based on combinatory logic