Talk:Lifting

Example sought
What would be an example of "Taking an inference rule in propositional logic and adapting it for predicate logic"? 86.185.221.220 (talk) 23:22, 1 December 2014 (UTC)