důkaz rozborem případů

důkaz rozborem případů, angl. proof by cases - způsob log. závěru, při kterém pravdivost teze je ověřována rozborem úplné řady možností (případů) a jejich analýza dokáže, že z každé možnosti pravdivost teze log. vyplývá.