Обосновать метод доказательства «разбором случаев»: для того, чтобы доказать формулу (A1 ∨ A2 ∨ …∨ An) ⊃ B, необходимо и достаточно доказать формулу (A1 ⊃ B) & (A2 ⊃ B) &…& (An ⊃ B).

Пусть формула (A1 A2 An) B ложна (то, что мы начинаем доказательство, предполагая, что формула ложна, а не истинна, продиктовано тем обстоятельством, что при этом выборе доказательство короче), тогда формула B ...