While learning Tuple Relational Calculus I found there is a substantial need to learn Logic (Discrete mathematics). But I have a loose hold over the topic, and I don't want to break the continuity to learn DBMS, so what are the topics that I must learn in DM (for the time being) to continue learning Tuple Relation Calculus?