Logic Mart
Define variables, build claims, link them and run a quick logic check.
Variables
Symbol (e.g. A)
Meaning / description
Add Variable
Clear All
Build Claim
Left operand
-- none --
Operator
∧
∨
→
↔
¬ (unary)
Right operand
-- none --
Add Claim
Clear Claims
Relations
From (claim index)
--
To (claim index)
--
Type
supports
contradicts
Add Relation
Clear Relations
Claims
(no claims yet)
Relations
(no relations yet)
Checks
Run Logic Check
Export JSON
Import JSON
Ready.