推移律
->
記号論理入門