>>144
特に名前はなさそうな。

ちなみに、これが命題論理なら確かにトートロジーだし、
もっと強くA⇒B∨Cと(A⇒B)∨(A⇒C)は同値と言えるが、
もしそのA,B,Cが高校数学で言うところの「条件」で
「⇒」が「ならば」，「∨」が「または」を表すならば、
(A⇒B)∨(A⇒C)からA⇒B∨Cを導くことはできるが
A⇒B∨Cから(A⇒B)∨(A⇒C)を導くことはできないから、要注意。