O`zbеkiston rеspublikasi oliy va o`rta maxsus ta'lim vazirligi

 B – Bu belgi mantiqiy teng kuchlilik (ekvivalensiya) uchun ishlatiladi.  

5.  A  /  B  –  Bu  belgi  “Sheffir  tayoqchasi”  deb  nomlanadi,  u  “va  …  emas” 

bog’lovchisiga to’g’ri keladi. 

6. A



B -  Bu belgi “Pirs strelkasi”deb nomlanadi, u “yoki ... emas” bog’lovchisiga 

to’g’ri keladi. 

7. 



= inglizcha exists so’zining qisqartmasi bo’lib, mavjudlik kvantori sifatida 

ishlatiladi 

8. 



=  summa, barcha narsaning jami   

9. 



=  inglizcha  all    so’zining  qisqartmasi  bo’lib,  hammasi  uchun 



  kvantori 

sifatida ishlatiladi 

Kalit so’zlar: uchinchisi mustasno, oraliq uchinchi, matematik mantiq, konyunksiya, 

dizyunksiya, implikatsiya, ekvivalensiya, kvantor. 

Topshiriqlar 

1. Mantiqiy mulohaza deganda nimani tushunasiz? 

2. Konyunkniv, dizyunktiv, implikativ hukmlarga o’zbek tilidan misollar  keltiring? 

3. Matematik mantiq fanini kimlar (qaysi olimlar) rivojlantirgan?