فراثاء:برآروندن

فرایند «صَدِقُنْدَن (^[؟] منطقا مورد اثبات‌شدن قرار دادن)» بطوریکه قصد رونمایی از روند اثبات صدق یا کذب گزاره‌ای به‌شکل ساختارمند باشد.