***
User Docs
UserDoc
Key Terms
Proofs
Modus Ponens
Modus Tollens
Hypothetical Syllogism
Disjunctive Syllogism
Constructive Dilemma
Simplification
Conjunction
Addition
De Morgan
Commutation
Association
Distribution
Double Negation
Transposition
Material Implication
Material Equivalence
Exportation
Tautology
Absorbtion
Assumption
Assumption_CP
Assumption_IP
*** *** ***









Conjunction: .
Disjunction: +
Implication: >
Equivalence: =
Negation: ~

*** ***




  • 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.



Inference Area