3-mavzu: Matematik mantiq elementlari. Mantiqiy amallar, chinlik jadvali, implikatsiya, ekvivalensiya, mantiqiy inkor amali, mavjudlik va ixtiyoriylik kvantorlari.
4-mavzu: Predikatlar va kvantorlar. Mulohazaning, jumladan, mantiqiy bog‘lovchilar va kvantorlar yordamida qurilgan murakkabroq mulohazaning inkorini ifodalay oladi
5-mavzu: To‘g‘ri fikr yuritish (argumentatsiya) qonunlari; paradokslar va sofizmlar. Mantiqiy amallar, chinlik jadvali, implikatsiya, ekvivalensiya, mantiqiy inkor amali, mavjudlik va ixtiyoriylik kvantorlari.
Do'stlaringiz bilan baham: |
