Logika dan Himpunan

Mata kuliah ini berisikan pembahasan tentang pengertian dan bentuk formal logika, penalaran, kesesatan dan jenis-jenisnya, logika tradisional(penalaran langsung, silogisme kategorik), silogisme simbolik (silogisme modern), validitas pembuktian matematika, pengertian dan cara penyajian himpunan, kardinalitas, himpunaan kosong, himpunan saling lepas, himpunan semesta, relasi antar himpunan, operasi pada himpunan, hukum-hukum pada himpunan, prinsip inklusi dan eksklusi.