Navoiy davlat pedagogika instituti fizika matematika fakulteti

Keltirib chiqariluvchi formulalar.

Mulohazalar hisobini qurishning keyingi bosqichi isbotlanuvchi formulalarni ajratib olishdan iborat. Avval aksiomalarni bayon qilamiz, keyin aksiomalardan keltirib chiqariluvchi, ya’ni isbotlanuvchi formulalarni keltirib chiqarish qoidalari ni beramiz.

2.1. Mulohazalar hisobining aksiomalar

Mulohazalar hisobining aksiomalari 4 ta guruhga bo‘lingan ro‘yxatdagi 11 aksiomadan iborat.

I guruù aksiomalari :

I1. A Þ ( V Þ A ) .

2. ( A Þ ( B Þ C )) Þ (( A Þ B ) Þ ( A Þ C )).

II. guruù aksiomalari :

1. A & B Þ A .

2. A & B Þ B .

3. ( A Þ B ) Þ (( A Þ C ) Þ ( A Þ B & C )).

III. guruù aksiomalari :

1. A Þ A Ú B .

2. B Þ A Ú B .

3. ( A Þ C ) Þ (( B Þ C ) Þ ( A Ú B Þ C )) .

IV guruù aksiomalari :

1. ( A Þ B ) Þ ( ù B Þ ù A ) .

2. A Þ ù ù A .

3. ù ù A Þ A .