Relational Logic Academic Module

Learn the structurebehind relationships.

A rigorous, visual environment for studying relational logic, building proofs, and turning abstract structures into clear understanding.

Begin with foundationsExplore the method
Designed for focused studyBuilt around formal reasoning
Relation RA \u2192 B
Set ASet B
Current propertyMany-to-one relation

A sequenced curriculum

Build understanding, one relation at a time.

Each module combines precise definitions, visual models, and guided proof work. No isolated formulas. Every concept connects.

014 lessons

Foundations of relations

Sets, ordered pairs, products, and the language of binary relations.

Explore module
026 lessons

Properties and proofs

Reflexivity, symmetry, transitivity, and proof strategies.

Explore module
035 lessons

Composition and closure

Compose relations and reason about closures and equivalence.

Explore module

Reasoning workspace

Move from intuition to a defensible proof.

Reloam separates each argument into explicit steps, connects it to the relevant definition, and keeps the logical dependency visible.

  • Construct relations visually
  • Validate each inference
  • Review the complete argument
Exercise 2.4Prove the inverse is symmetric
In progress
1
PremiseR is symmetric
✓
2
Assume(a, b) ∈ R
✓
3
Therefore(b, a) ∈ R
→
Definition: symmetric relation