Practice

Work problems, see the reasoning

Interactive discrete math for CS students: topics, proof trainer, practice, and browser-native tools.

  • No account needed
  • Nothing leaves your browser
  • Works offline

What is in here

7topics
534problems
54formulas
60proof tasks
0 learned0 saved0 practice attempts0% accuracy0 proof checks

Practice session

Problem trainer

Filter by topic and difficulty, answer, then reveal the worked explanation.

Logic & Propositionsbeginner1 / 534

Which of the following is a proposition?

Pick an option and check it to see the answer and the reasoning.