Instructions

Visual Logic Guide

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.

Transform Mode

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

Proof Mode

Symbols and cuts cannot be transformed by normal controls once in proof mode. Shift + Click will select elements to perform logical transformations with.

Insertion

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

Erase a graph from an even level -- todo

Double Cut

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.

Iteration/De-iteration

-- todo