truth deduction and computation

Upgrade
Loading…