[Доказательство По Случаям]
или: Доказательство разбором случаев, аЧ логически правильное рассуждение, когда от нескольких условных высказываний (посылок), имеюнщих одинаковое следствие, осуществляется переход к утвержденнию этого следствия путем установления того, что по меньшей мере одно из оснований условных высказываний истинно. В наинболее простом случае посылками являются высказывания: лЕсли есть первое, то есть третье