176.
ПредположимчтоПашакупилПредположим, что Паша купил
булочкусяблочнымджемомбулочку с яблочным джемом.
ИзвестночтобулочкиИзвестно, что булочки
сяблочнымджемомпосыпаныс яблочным джемом посыпаны
корицейноприэтомкорицей, но при этом
вусловииговоритсячтоПашав условии говорится, что Паша
купилбулочкибезкорицыкупил булочки без корицы.
ПолучилипротиворечиеПолучили противоречие.
СледовательноисходноеСледовательно, исходное
предположениеневернопредположение неверно,
аутвреждение«Пашакупила утвреждение «Паша купил
булочкусабрикосовымбулочку с абрикосовым
вареньем»истинновареньем»−истинно.