その命題が真であるかどうかを証明する。
Sono meidai ga shindearu ka dou ka o shoumei suru.
To prove whether that proposition is true or not.
二つの命題の包含関係を分析する。
Futatsu no meidai no hougan kankei o bunseki suru.
To analyze the inclusion relationship between the two propositions.