Формализуйте следующие правило заключения «если Si и (Si -> Sj) есть выводимые формулы, то Sj также выводимая формула»<img src="/close/store/examRes/%7B0887DB72-97C4-4ABE-81A6-90F3F195D5A5%7D/test_1_v24_2.JPG" /><img src="/close/store/examRes/%7B0887DB72-97C4-4ABE-81A6-90F3F195D5A5%7D/test_1_v24_1.JPG" /> <img src="/close/store/examRes/%7B0887DB72-97C4-4ABE-81A6-90F3F195D5A5%7D/test_1_v24_1.JPG" />, <img src="/close/store/examRes/%7B0887DB72-97C4-4ABE-81A6-90F3F195D5A5%7D/test_1_v24