12.2.4. Использование подслучаев
Для любой пары предложений 
предложение С называется подслучаем предложения 
если существует такой подстановочный частный случай 
предложения С, что 
Например, если
то подстановка
приводит к
Целесообразность использования подслучаев можно проиллюстрировать примером из пропозиционального исчисления высказываний, в котором значение истинности множества определяется как конъюнкция значений истинности содержащихся в нем предложений. Пусть 
), где X — последовательность, состоящая из нескольких (быть может, ни одного) литералов 
Поскольку значение истинности 
определяется конъюнкцией его литералов, то
Очевидно, что
независимо от значения истинности X, т. е. 
Положим 
Из интерпретации множества в пропозициональном исчислении высказываний следует, что
Если 
ложное при всех приписываниях значений истинности, то 
Это означает, что 
т. е. при невыполнимости
множество 
также невыполнимо. Однако проще выводить пустое предложение 
из множества 
чем из 
потому что оба множества содержат одинаковое число предложений, но в 
меньше литералов, чем в 
