Fixed PropKB. Added valid and entails
Fix python 2.6 compatibility issues
Added tests for bool input to satisfiable
Merge pull request #2830 from SDB1323/logic

Fixed PropKB Ask. Added function to check validity.