Proof in predicate logic 1 Universal Instantiation

>> YOUR LINK HERE: ___ http://youtube.com/watch?v=RfSGkkkGtPg

What is instantiation? How do you do Universal Instantiation? How can you use it in a proof?

video, sharing, camera phone, video phone, free, upload
#############################