Games Like Quod Erat Demonstrandum

Every argument begins with set of premises that, if true, necessitate some conclusion. Your task is to prove that the conclusion does indeed follow.

Given a set of premises, apply rules of inference and replacement to derive new propositions — step by step — until you reach the conclusion. Each level is a proof waiting to be completed.

As a newly aware intelligence, each proof explores themes of being and essence, virtue, the soul, causality, and the pursuit of truth. Simply put, you are a mind reasoning its way from first principles toward understanding.

Features