Talk:Lifting

Latest comment: 9 years ago by 86.185.221.220 in topic Example sought
WikiProject iconDisambiguation
WikiProject iconThis disambiguation page is within the scope of WikiProject Disambiguation, an attempt to structure and organize all disambiguation pages on Wikipedia. If you wish to help, you can edit the page attached to this talk page, or visit the project page, where you can join the project or contribute to the discussion.

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