DiscMath.ch\mathcal{D}\mathrm{isc}\mathcal{M}\mathrm{ath.ch}DiscMath.ch

Suggest TopicSuggest TopicChallengesChallengesContentContentLinksLinksAboutAbout
GitHubGitHub (opens in a new tab)
  • General Information
  • 2: Introduction to Logic
    • Propositional Logic
    • Predicate Logic
    • Proof Patterns
    • Sets
    • Relations
    • Functions
    • Countability
  • 4: Number Theory
    • Division and Divisors
    • Modular Arithmetic
  • 5: Algebra
    • Group Theory
    • Rings
    • Fields
    • Practice: Remainder Polynomial Division
  • 6: Logic
    • Proof Systems
    • General Logic
    • Logical Calculi
Question? Give us feedback → (opens in a new tab)Edit this page on GitHub →
Content
6: Logic
Logical Calculi

Logical Calculi

General Logic

© 2025 some student TAs