Mulohaza. Mulohazalar ustida mantiqiy amallar. Formulalar. TENG KUCHLI Formulalar. Aynan chin, aynan yolg’on va bajariluvchi formulalar

1-MAVZU

MULOHAZA. MULOHAZALAR USTIDA MANTIQIY AMALLAR. FORMULALAR. TENG KUCHLI FORMULALAR. AYNAN CHIN, AYNAN YOLG’ON VA BAJARILUVCHI FORMULALAR.

Reja:

1. 
   Mulohaza. Mulohazalar ustida mantiqiy amallar.
   
2. 
   Formulalar. Teng kuchli formulalar.
   
3. 
   Aynan chin, aynan yolg‘on va bajariluvchi formulalar
   

Mulohaza.

Matematik mantiqning mulohazalar algebrasi deb atalgan ushbu bo‘limida asosiy tekshirish ob’yektlari bo‘lib gaplar xizmat qiladi. Mulohazalar algebrasida ma’nosiga ko‘ra chin (rost, haqqoniy, to‘g‘ri) yoki yolg‘on (noto‘g‘ri) bo‘lishi mumkin bo‘lgan gaplar bilangina shug‘ullaniladi. Mulohazalar algebrasi mantiq algebrasi deb ham yuritiladi.