Logikido

Master the art of pure reasoning with Logikido.

Developed by Dr. Carlos Montagnoli (Professor at the State University of Londrina) and based on his work 'Elementary Logic', Logikido transforms the rigor of mathematical logic into an epic learning journey.

From zero to mastery, you will progress through a belt system inspired by martial arts:

White, Blue, and Yellow Belts: Master Propositional Calculus, truth tables, and natural deduction.

Towards the Black Belt: Advance through first-order logic.

The Path of the Dans: Prepare for the supreme challenges of Formal Arithmetic and Set Theory.

Ideal for students of computer science, philosophy, mathematics, and candidates for competitive exams seeking the highest level of logical excellence. Train your mind. Earn your belt. Become a master of reason.