Здравствуйте!
Скажите, пожалуйста, что такое секвенция? И какие задания бывают на эту тему? Есть где-нибудь разбор типовых примеров?(В Игошине не нашел><
Секвенция это тавтология или нет? Просто есть два из 3 способов доказать секвенцию это через табл. истинности и методом резолюций(мне казалось, что они для доказательства тавтологий), а есть еще какой-то третий, но он мне тоже нужен.
Завтра контрольная работа будет><