Misol. Xulosa. Kvantorlar

P  Q
kŏrinishga ega. Bunda P mulohaza teorema sharti deyiladi, Q mulohaza esa teorema tasdig’i deyiladi.  belgi keltirish, isbotlash usulini anglatadi.
Ŏtgan ma’ruzada keltirilgan tavtologiyalardan kŏyidagi isbotlash usullari kelib chiqadi:

1. 
     A  A – karrali inkorni rad etish usuli ;
   
2. 
   A    A – karrali inkorni kiritish etish usuli ;
   
3. 
   A  B  A - kon’yunktsiyani rad etish usuli;
   
4. 
   A  B  A - diz’yunktsiyani rad etish usuli;
   
5. 
   (A  B)  (B  S )  (A  S) – sillogizm usuli;
   
6. 
   (A  B)  ( B  A ) - kontrapozitsiya usuli;
   
7. 
   (A  B)  (A  B)  A – teskarisidan isbotlash usuli.
   

Xulosa
Matematikaning kŏp mulohazalari predikatlar va kvantorlar yordamida yozilar ekan. Shuning uchun ular yordamida ob’ektlarning barcha xossalari va ular orasidagi munosabatlarni yoritish mumkin ekan. Mulohazalar algebrasini hamda mantiqiy qonunlarni chuqurroq ŏrganish katta kurslarda «Matematik mantiq va algoritmlar nazariyasi» kursida amalga oshadi.
Tayanch tushunchalar: predikatlar, kvantorlar, isbotlash usullari.