LiMiT · Deterministic workspace

Logic, rules and missing-premise explanations

Use explicit premises to inspect deductions, counterexamples and unresolved goals.

Check a logical implication

The logic command enumerates bounded Boolean assignments. It distinguishes an entailed query from a refuted query, an unresolved query and inconsistent premises.

logic: {"premises":["A",{"implies":["A","B"]}],"query":"B"}

Avoid reversing implications

Observing B does not prove A from A implies B. Ask the tool to check the reversed case and inspect the counterexample assignment. The result is about the supplied propositions, not independently established real-world facts.

Find missing premises

The prove command follows saved facts and rules backwards from a desired key/value conclusion. Missing premises are reported as unknowns, not automatically saved as facts. Relevant conflicts are surfaced.

prove: {"key":"example ready","value":"yes"}

Distinguish search from knowledge

A conclusion can be supported by a rule model while its real-world premises remain uncertain. Keep evidence for each premise and retain limits on the scope of the conclusion.

knowledge: necessary condition

Read the methods and limitations or try the examples in the workspace.