ИП - Все методы и результаты ИВ можно перенести на ИП.
СИМОВЛЫ логики предикатов: 1)x,y,z,u,v,x1...a,b,c,d,a1 - переменные предметы; 2)A,B,C..X принимающие значения 1 и 0 переменными высказывания; 3)F(...),G(...,...) - переменными предикатами; 4)&,v,->,(not ); 5) (,) - скобки; 6)V,Э.
ФОРМУЛА ИП: 1)переменное высказывание есть формула. 2)F – символьный переменный предикат, a1...ai – символьная предметная переменная, то
F(a1...ai) - формула, 1)-2) - элементарные формулы. 3)если а(альфа) содержит СВОБОДНУЮ ПЕРЕМЕННУЮ x, то Vxа(x) и Эxа(x)–формулы, где х - СВЯЗАННЫЕ ПЕРЕМЕННЫЕ. Все ф-лы ИВ - ф-лы ИП.
ЧАСТИ формулы: 1)частью каждой элементарной формулы является только она сама. 2)частью ф-лы Vxа (или Эxа, где а - альфа) является она сама и всякая часть ф-лы а(альфа). 3)частями формул a&b, avb, a->b являются сами формулы и все части формул a и b. 4)частью ф-лы (not a(альфа)) является она сама и все части ф-лы а.
