1. Himpunan
2. Pembuktian argumen berupa tautolgi atau tidak
3. Invers, Konvers dan dan kontraposisi
4. Metode kanonik SOP dan POS
5. Strategi Pembalikan