Математическая логика и теория алгоритмов

4) последовательность формул а), б ) , в),г ) , д ) не содержит формул вывода ни для какой формулы; 5) последовательность формул в), б), а),д ) , г ) является выво­ дом для формулы А=>(А=>А). . 4. Пусть имеем ту же последовательность формул, что и в предыдущей задаче. Укажите, какое из следующих утверадений ложно: 1) последовательность формул а). б). в). д), г) является выводом для формулы (А=>АУ, 2) последовательность формул б), «). е), д), 2) является выводом для формулы (А=>Ау, 3) последовательность формул а). б). в), г) является выводом для формулы {А=>А); 4) последовательность формул б), б), г). -5) является выводом для формулы { А ^ А ) \ 5) последовательность формул д). б). а), в), г) является выводом для формулы (А^А). 5. Пусть имеем следующие правила выводов исчисления высказываний: а) Л=>В,:=>С \^А=>С; б) A=>{Bz=>C},B в) если G,A\-B,roG |-А=>В: г ) если G,A [-5, toG, ]^ [-1^4; д) Л&В\-А; е) А,В А&В; ж) A\-A V В; з) А,А=>В |-В; и ) если А\-С и B\-C,TQAW В \-0, к) еслиА [-5 и у 4|-15, то \-А. Укажите, какое из них является исходным правилом вывода, а не доказуемым и какое является теоремой дедукции; 322