Engage with formal logic through interactive puzzles. Apply inference rules to construct valid proofs, making abstract reasoning concrete and intuitive. Explore propositional and modal logic, with classic philosophical arguments integrated into the learning process.
EducALE by Miguel de Jesus Velazquez Lopez

























