-
Notifications
You must be signed in to change notification settings - Fork 0
Instructions
Visual Logic has two interface modes, "transform mode" and "proof mode" Transform mode allows you to create, edit, and delete cuts and symbols without any restrictions. Proof mode only allows transformations through logical operations. You can change between modes by clicking on the button on the top right, which displays what mode you are currently on.
You can add new symbols to the canvas by pressing any alphabetical key (A-Z).
Shift + Click and drag will create a new cut. You can click and drag along its border to resize it
Pressing the delete key over a symbol or cut will delete it
Symbols and cuts cannot be transformed by normal controls once in proof mode. Shift + Click will select elements to perform logical transformations with.
Insertion allows you to insert a new subgraph at an odd level. First select a target cut at an odd level with Shift + Click, then click the "Insertion" button on the right. This will open a window with a smaller canvas similar to transform mode to draw a new subgraph. Once finished creating the graph, press "insert" to insert the subgraph back onto the canvas, into the target cut.
Erasure allows you to delete a single subgraph at an even level. First, select a target cut at an even level with Shift + Click, then click the "Erasure" button on the right.
Given two cuts a level apart, perform a double negation by removing them from the canvas. Shift + Click two cuts and then click the "Double Cut" button on the right.
-- todo