結果 : propositional logic problems and solutions pdf