「ならば⇒」の言い換え表現

「 『命題A⇒命題C』かつ『命題B⇒命題C』 」「『命題Aまたは命題B』⇒命題C」の言い換え、「 『命題X かつ命題A』⇒命題C」かつ 「 『命題X かつ命題B』⇒命題C 」「命題X かつ『命題Aまたは命題B』⇒命題C」の言い換えを整備。