Formulalar. Asosiy teng kuchli formulalar. Normal formalar. Mulohazalar hisobini qurish. Teng kuchli almashtirishlar. Normal formalar. Mulohazalar algebrasi

Isbot. 1. A Þ ( V Þ A ).

2. ℛ Þ ( V Þ ℛ ).

3. V Þ ℛ .

4. ℑ Þ ℛ.

Bu ketma - ketlik teoremaning formal isbotidir. Haqiqatdan ham, 1 - formula I₁ aksioma. 2 - formula 1 -formuladan A ni ℛ bilan almashtirish natijasida hosil qilingan. 3 - formula 2 - formuladan MR qoida yordamida hosil qilingan. 4 - formula esa 3 - formulada V ni ℑ formula bilan almshtirish natijasida hosil qilingan.

II.2.7 - teorema. ⊢ ℱ Þ ù ù ℑ.

Isbot. 1. ( A Þ V ) Þ ( ù V Þ ù A ).

2. ( ù A Þ V ) Þ ( ù V Þ ù ù A ).

3. ( ù A Þ ℛ ) Þ ( ù ℛ Þ ù ù A ).

4. ù ℛ Þ ù ù A.

1. 
   ℱ Þ ù ù A .
   
2. 
   ℱ Þ ù ù ℑ .