Przypadek oparte rozumowanie alternatywą jest formą matematycznego rozumowania uszkodzi wniosku jest niezbędne, by wykazać w skończonej liczbie przypadków (sub-propozycje) niezależnie zweryfikowane.