Question 761162

go to http://www.rci.rutgers.edu/~cfs/472_html/Logic_KR/proplogic_proofs472.html

scroll down to 
"A Semantic Proof"