Teori Himpunan; Logika Proposisi; Argumen; Kuantor; Aturan Inferensial; Pembuktian Langsung dan Tidak Langsung