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

Теорема: Мулохазалар алгебрасидаги иккита формула тенг кучли булишлаги учун бу формулаларнинг хар бири иккинчисидан келтириб чикарилган булишлиги зарур ва етарли.

FHFH ва НH

Изох: Агар бирор бир формула тавтология булса, у холда бу формуладан келтириб чикарилган хар кандай формула хам тавтология булади. F ва FH у холда H.

Энди биз логик хулосалаш тушунчасидан фойдаланиб, тугри фикрлаш коидаларини келтириб чикарамиз. Яъни нимадан-нима келиб чикади деган саволга жавоб берамиз.

1. 2. 3. 4. ва