Combinatory and propositional logic