Исчисление высказываний

I. Постройте простую собственную систему формальных логических рассуждений, смоделированную на основе формальной системы алгоритмов пропозициональной логики (PC) (включая в основном только набор символов, правила формирования, аксиомы и правила вывода формальной системы), а затем докажите теорему переноса в PC в этой новой системе.
Во-вторых, кратко опишем основные компоненты системы формальных логических рассуждений, основанной на технике представления знаний на основе предикатов. Если правила вывода системы естественных дедуктивных рассуждений (ND) добавить к системе формальных логических рассуждений на основе предикатов, объединить их с вашими собственными правилами логических рассуждений и указать, в чем преимущества такой системы