Кукон давлат педагогика институти

Логик келтириб чикарилганлик хоссалари:

а) F F... FF (i=)

б) Агар F F... FG (i=) ва G, G,...,GH формулалар келтирилиб чикарилган булса, у холда F, F,..., FH формула келиб чикади.

Агар логик хулосалашда битта формуладан битта формула келтирилиб чикарилган булса, у холда формулалар орасидага бинар муносабатни хосил киламиз. Биз бундан илгари формулалар уртасидаги бошкача бинар муносабатни караган эдик. Яъни формулаларни тенг кучлилигини FH. Энди бу муносабатлар уртасидаги богланишни куриб чикамиз.