If 2 lines are involed: enter the numbers
in the Line 1 and Line 2 slots. Click the 'Submit'
button. Select a rule.
If only 1 line is involved: enter the number of the line
in the Line 1 slot. Leave the Line 2 slot empty. Click 'Submit'
Select a rule.
For Addition: enter the number of the line to be added to
in the Line 1 slot. Click 'Submit'. Close the dialog box.
Enter term to be added in the Premise 2 slot of the Inference
Area. Bring back the dialog box and select a rule.
Modus Ponens
Modus Tollens
Hypothetical Syllogism
Disjunctive Syllogism
Constructive Dilemma
Simplification
Conjunction
Addition
DeMorgan
DeMorgan-Left
DeMorgan-Right
Commutation
Commutation-Left
Commutation-Right
Double Negation
Distribution
Implication
Transposition
EquivalenceAnd
EquivalenceOr
Association
Exportation-[A>(B>C)]
Exportation-[(A.B)>C]
Taut
Assumption
Assumption (CP)
`
Assumption (IP)
***
***
To see a line's equivalencies: enter line number in the
slot above. Click the 'GetLine' button below.
The result will appear in the panel on the right.