命題論理
propositional logic
演繹定理
存在グラフ
https://ja.wikipedia.org/wiki/命題論理