Semantics related

PPT:
http://viid.me/qW0XtW

Blog spot entry:
http://viid.me/qW0Xx4

Complete and heavy weighted semantics inference ppt:
http://viid.me/qW0CPM


How to input semantic propositional logic formula required symbols. (before 2:30)
http://viid.me/qW0M1M

Propositional symbol pdf file (wiki)
http://viid.me/qWqlxL