EN
SK
UA
Welcome to LogicProof
Select your proof system and logic level to begin.
Proof System
Natural Deduction (Gentzen)
Tree-style natural deduction proofs.
Natural Deduction (Fitch)
Linear-style natural deduction proofs.
Sequent Calculus
Proof trees using sequents.
Logic Level
Propositional Logic (VL)
Basic rules: ∧, ∨, →, ¬
Predicate Logic (PL)
Includes quantifiers: ∀, ∃ and variables.
Logic Paradigm
Classical
Intuitionistic
Theories
Robinson Arithmetic
Order Axioms
Settings
Don't show this screen again
Proof
All Hypotheses
Current Hypotheses
Rules
Axioms
Tree
LaTeX
a->b->c
Layout Settings
Sidebar Placement
Left
Right
Top
Bottom
Proof Rules Layout
Rules Left
Rules Right
Rules Top
Rules Bottom
Help & Documentation
General
Syntax
Input
Axioms
Proof Tree
LaTeX Source
Proof
Document
Examples
×
ND Gentzen
ND Fitch
Sequent Calculus
Main page