Jump to content

Talk:Lifting

Page contents not supported in other languages.
From Wikipedia, the free encyclopedia

Example sought

[edit]

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)[reply]