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

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