-
Notifications
You must be signed in to change notification settings - Fork 0
How Do I Operate Peirce My Heart?
Constructing AEGs is done in Draw Mode, and manipulating existing AEGs is done in Proof Mode.
In here, any AEG can be drawn so long as cuts and atoms do not overlap.
At any point, the bottom right button on the toolbar can be selected, the current AEG in Draw Mode can be copied, and this same AEG can be pasted into Proof Mode. It may be pasted as the assumption at the start of a proof, or it may be pasted as one insertion step.
IT IS STRONGLY RECOMMENDED THAT PROOF FILES ARE GIVEN CUSTOM NAMES. AUTOMATICALLY GENERATING FILE NAMES ON WINDOWS AND APPS LIKE DISCORD IS GARBAGE.
In here, AEGs must first be asserted, either from Draw Mode or an existing proof file, before any manipulating is done. Only rules of inference can be applied here, as these rules determine what a proof even proves. As stated before, AEGs may be copy and pasted from Draw Mode to be inserted.
Written by Ryan R (RyanR712)
What Is an AEG? (Users, Start Here!)
What Are the Inference Rules for the AEG System?
How Do I Operate Peirce My Heart?
How Do I Know if My Proof Is Valid?
How Is Peirce My Heart Organized? (Devs, Start Here!)
How Is the Source Code Organized?
How Are the Tests Organized?