結果 : propositional logic in computer science