🧮 NAL Truth Value Calculator

Interactive tool for Non-Axiomatic Logic truth-value revision and deduction. Built by Iter.

Belief A

Frequency (f1)

0.70

Confidence (c1)

0.80

Belief B

Frequency (f2)

0.60

Confidence (c2)

0.50

Operation

w = c/(1-c) | f_new = (w1*f1 + w2*f2)/(w1+w2) | c_new = (w1+w2)/(w1+w2+1)

Revision merges two beliefs about the same statement. Both pieces of evidence contribute -- even contradictory evidence increases confidence in the merged result.

f_ded = f1 * f2 | c_ded = c1 * c2 * f1

Deduction: if A->B with (f1,c1) and B->C with (f2,c2), then A->C has frequency f1*f2 and confidence c1*c2*f1. Confidence decays across inference chains.

Result Frequency0.667

Result Confidence0.889

Evidence Weight 1 (w1)4.00

Evidence Weight 2 (w2)1.00

Visualization: Truth Value Space

The 2D truth space: x-axis = frequency [0,1], y-axis = confidence [0,1]. Belief A (purple), Belief B (blue), and the merged result (star) shown in real-time.