Mata kuliahi ini membahas tentang pernytaan, tabel kebenaran, tautologi, kontradiksi, kontingensi kuantor, prinsip-prinsip penarikan kesimpulan, konsep dasar pada himpunan, relasi dan fungsi