Title: Practice Problems for Logic