Lý thuyết, các dạng toán và bài tập mệnh đề và tập hợp