Mustaqil ishisi Toshkent 2021 Predikatlar algebrasi, mulohazalar hisobi formulasi

Mulohazalar hisobi formulasi tushunchalari
1-teorema. Mulohazalar hisobidagi har bir isbotlanuvchi formula mulohazalar algebrasida aynan chin (tavtalogiya, umumqiymatli) formula bo’ladi.

Isboti. Teoremani isbot qilish uchun quyidagi uchta holni ko’rib chiqishga to’g’ri keladi:

1. 
   Mulohazalar hisobidagi har bir aksioma mulohazalar algebrasidagi aynan chin formuladir;
   
2. 
   Aynan chin formulalarga o’rniga qo’yish qoidasini qo’llash natijasida hosil qilingan formulalar ham aynan chin formulalar bo’ladi;
   

aynan chin formulalarga xulosa qoidasini qo’llash natijasida hosil

3. 
   qilingan formulalar ham aynan chin formulalar bo’ladi.
   

1.