Osnova sekce

  • proof by contrapositive, universal and existential quantification, bound and free variables, scope of a quantification

    • Quiz 3 Test

      Note: you win points by answering correctly, but you can also lose points by answering incorrectly (your total points will never be below 0). This means that if you are unsure, you are better off not answering instead of guessing.