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

Логик келтириб чикарилганликнинг (хулосалаш) аломатлари.

Теорема: Мулохазалар алгебрасидаги Н формула F формуладан келтириб чикарилганлиги булишлиги учун FН формуланинг тавтология булиши зарур ва етарли. FHFH

Теорема: m  2 булганда F,F,..., F ва Н формула учун куйдаги формулалар тенг кучлидир.

1. 
   F,F,..., FH
   
2. 
   F F... FH
   
3. 
   ( F F... F)Н